summaryrefslogtreecommitdiff
path: root/Doc
diff options
context:
space:
mode:
Diffstat (limited to 'Doc')
-rw-r--r--Doc2
1 files changed, 2 insertions, 0 deletions
diff --git a/Doc b/Doc
index f5f15087..77061390 100644
--- a/Doc
+++ b/Doc
@@ -1,3 +1,4 @@
+D doc/prog-head.sgml
C doc
C nest
C conf
@@ -5,3 +6,4 @@ C filter
C proto
C sysdep
C lib
+D doc/prog-foot.sgml