1 files changed, 1 insertions, 0 deletions

diff --git a/man/docgen b/man/docgen
index 0319bbc7..8870c60c 100755
--- a/man/docgen
+++ b/man/docgen
@@ -326,6 +326,7 @@ def manpage_output(dir):
         if c != None:
             print categories[c].manpage_output()
 
+    print_file_contents("environment")
     print_file_contents("footer")
 
 def wiki_output(dir):