configure/doc
2016-01-20 01:37:42 +01:00
..
scripts Update the copyright notice 2016-01-20 01:37:42 +01:00
.gitignore Add a few .gitignore files 2015-05-28 21:33:10 +02:00
configure.css.xml Added a CSS stylesheet for manual pages 2014-05-29 14:27:32 +02:00
configure.xml Update the manual page 2015-08-30 21:38:41 +02:00
docbook.sh Reflect changes from the reference script 2015-10-06 18:25:19 +02:00
Makefile Re-generate the Makefiles 2016-01-20 01:05:59 +01:00
manual.css.xml Added a CSS stylesheet for manual pages 2014-05-29 14:27:32 +02:00
project.conf Re-use the "docbook.sh" script from the documentation 2016-01-20 00:36:49 +01:00
project.conf.css.xml Added a CSS stylesheet for manual pages 2014-05-29 14:27:32 +02:00
project.conf.xml Re-phrase what configure cannot do yet because it is less true by now 2015-01-13 23:33:02 +01:00