Jean-Paul Chaput 767407736d Add a fully generated documentation in the git repository. ... * Change: In all tools supplying documentation, as we use some specific software to create the doc, they may not be available, or worse, be and incompatible version. So, by default, we install the files shipped with the git repository. To force a full doc rebuild, use the "--doc" flag of ccb.py.		2018-06-06 18:42:26 +02:00
..
definitions.html	Add a fully generated documentation in the git repository.	2018-06-06 18:42:26 +02:00