summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
Diffstat (limited to 'doc')
-rw-r--r--doc/prog-root9
-rw-r--r--doc/progdoc1
2 files changed, 9 insertions, 1 deletions
diff --git a/doc/prog-root b/doc/prog-root
new file mode 100644
index 00000000..c31e5ae1
--- /dev/null
+++ b/doc/prog-root
@@ -0,0 +1,9 @@
+D doc/prog-head.sgml
+D doc/prog-intro.sgml
+C nest
+C conf
+C filter
+C proto
+C sysdep
+C lib
+D doc/prog-foot.sgml
diff --git a/doc/progdoc b/doc/progdoc
deleted file mode 100644
index 0c3e04e5..00000000
--- a/doc/progdoc
+++ /dev/null
@@ -1 +0,0 @@
-D prog-intro.sgml