François Grisez 3a8fb2bb6d Turns ENABLE_SPHINX_DOC option into conditional option		2017-10-27 16:50:05 +02:00
..
doc	Turns ENABLE_SPHINX_DOC option into conditional option	2017-10-27 16:50:05 +02:00
examples	small rework of trace level management.	2017-08-23 09:21:24 +02:00
CMakeLists.txt	Remaking doc directory aborescence	2017-06-16 15:44:00 +02:00
Makefile.am	Disable documentation generation with Autotools	2017-06-16 17:03:17 +02:00