1 files changed, 4 insertions, 2 deletions
diff --git a/doc/user/MANIFEST b/doc/user/MANIFEST
index b3106af..ef273d3 100644
--- a/doc/user/MANIFEST
+++ b/doc/user/MANIFEST
@@ -12,13 +12,11 @@ command-line.xml
 cons.pl
 copyright.xml
 depends.xml
-ENV.xml
 environments.xml
 errors.xml
 example.xml
 factories.xml
 file-removal.xml
-help.xml
 hierarchy.xml
 install.xml
 java.xml
@@ -26,8 +24,12 @@ libraries.xml
 less-simple.xml
 main.xml
 make.xml
+mergeflags.xml
+misc.xml
 nodes.xml
+output.xml
 parseconfig.xml
+parseflags.xml
 preface.xml
 python.xml
 repositories.xml