Use time.process_time() instead of deprecated clock()
This fixes:
DeprecationWarning: time.clock has been deprecated in Python 3.3 and
will be removed from Python 3.8: use time.perf_counter or
time.process_time instead
Document: cubicweb-doc
Title: CubicWeb Documentation
Author: Logilab
Abstract: Some base documentation for CubicWeb users and developers
Section: Programming
Format: HTML
Index: /usr/share/doc/python3-cubicweb-documentation/html/index.html
Files: /usr/share/doc/python3-cubicweb-documentation/html/*