summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorOndrej Zajicek (work) <santiago@crfreenet.org>2018-12-14 01:53:32 +0100
committerOndrej Zajicek (work) <santiago@crfreenet.org>2018-12-14 01:53:32 +0100
commit1e0fccd1af54fdd4dbd79f6e7c5715478f83dea3 (patch)
tree60901995ab6ead5da7e78fd7a132e7e8b63326c1 /doc
parent532116e7e33d80a79e176f043defffbfc2b8d06e (diff)
Doc: Move root of code documentation to doc dir
It reduces clutter in root and also avoid collision with doc dir on case-insensitive filesystems when name back to Doc.
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