diff options
Diffstat (limited to 'doc/user/MANIFEST')
| -rw-r--r-- | doc/user/MANIFEST | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/user/MANIFEST b/doc/user/MANIFEST index 9e3f7bf..58ac2fc 100644 --- a/doc/user/MANIFEST +++ b/doc/user/MANIFEST @@ -4,6 +4,7 @@ ant.sgml builders-built-in.sgml builders-commands.sgml builders-writing.sgml +build-install.sgml caching.sgml command-line.sgml cons.pl @@ -17,14 +18,18 @@ example.sgml help.sgml hierarchy.sgml install.sgml +java.sgml libraries.sgml +less-simple.sgml main.sgml make.sgml +nodes.sgml precious.sgml preface.sgml repositories.sgml run.sgml scanners.sgml +sconf.sgml separate.sgml simple.sgml sourcecode.sgml |