Sébastien Loriot 2dfe8a3d73 workaround for a doxygen bug: remove space after /!* to avoid a verbatim env ... this happens if you have an empty line or the text directly after /!* to find them in the generated documentation, grep for "pre class=\"fragment\"" (a few of them are legitimate however)		2013-07-25 14:58:53 +02:00
..
CGAL	workaround for a doxygen bug: remove space after /!* to avoid a verbatim env	2013-07-25 14:58:53 +02:00
Concepts	workaround for a doxygen bug: remove space after /!* to avoid a verbatim env	2013-07-25 14:58:53 +02:00
fig	…
Doxyfile.in	Clean up the files we use as examples	2013-05-31 11:40:35 +02:00
PackageDescription.txt	really add last missing classified reference manual pages	2013-03-13 10:57:01 +01:00
TDS_2.txt	Change the titles of mainpages to "User Manual"	2012-12-13 14:47:09 +01:00
dependencies	Generated Doxyfile.in and dependencies	2013-05-30 14:13:47 +02:00