Pierre Pronchery d25de6f7fd Improve support for DESTDIR when generating HTML ... This fixes the inclusion of additional XML files. It also avoids copying a file to $OBJDIR.		2020-02-13 06:00:44 +01:00
..
scripts	Improve support for DESTDIR when generating HTML	2020-02-13 06:00:44 +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	Mention basic support for Java and Verilog	2018-07-08 10:39:26 +02:00
Makefile	Re-generate the Makefiles	2019-02-14 17:39:30 +01:00
manual.css.xml	Added a CSS stylesheet for manual pages	2014-05-29 14:27:32 +02:00
project.conf	Register a dependency on the docbook.sh script	2017-11-08 15:12:28 +01:00
project.conf.css.xml	Added a CSS stylesheet for manual pages	2014-05-29 14:27:32 +02:00
project.conf.xml	Also document the "enabled" setting for targets	2019-12-20 03:57:48 +01:00