1 files changed, 31 insertions, 0 deletions
diff --git a/doc/user/MANIFEST b/doc/user/MANIFEST
new file mode 100644
index 0000000..134a24b
--- /dev/null
+++ b/doc/user/MANIFEST
@@ -0,0 +1,31 @@
+actions.sgml
+alias.sgml
+ant.sgml
+builders-built-in.sgml
+builders-commands.sgml
+builders-writing.sgml
+caching.sgml
+cons.pl
+cons.sgml
+copyright.sgml
+default.sgml
+depends.sgml
+environments.sgml
+errors.sgml
+example.sgml
+help.sgml
+hierarchy.sgml
+install.sgml
+libraries.sgml
+main.sgml
+make.sgml
+precious.sgml
+preface.sgml
+repositories.sgml
+run.sgml
+scanners.sgml
+separate.sgml
+simple.sgml
+sourcecode.sgml
+troubleshoot.sgml
+variants.sgml