configure/doc
2016-12-29 20:03:08 +01:00
..
scripts Create the parent directory before creating the target file 2016-12-29 20:03:08 +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
Makefile Re-generate the Makefiles 2016-02-15 20:26:03 +01:00
manual.css.xml Added a CSS stylesheet for manual pages 2014-05-29 14:27:32 +02:00
project.conf Fix "make distcheck" 2016-02-15 20:23:57 +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