summaryrefslogtreecommitdiff
path: root/doc/user/MANIFEST
diff options
context:
space:
mode:
Diffstat (limited to 'doc/user/MANIFEST')
-rw-r--r--doc/user/MANIFEST1
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/MANIFEST b/doc/user/MANIFEST
index ef273d3..0994f2b 100644
--- a/doc/user/MANIFEST
+++ b/doc/user/MANIFEST
@@ -17,6 +17,7 @@ errors.xml
example.xml
factories.xml
file-removal.xml
+functions.xml
hierarchy.xml
install.xml
java.xml