From 1e0fccd1af54fdd4dbd79f6e7c5715478f83dea3 Mon Sep 17 00:00:00 2001
From: "Ondrej Zajicek (work)" <santiago@crfreenet.org>
Date: Fri, 14 Dec 2018 01:53:32 +0100
Subject: 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.
---
 doc/prog-root | 9 +++++++++
 doc/progdoc   | 1 -
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100644 doc/prog-root
 delete mode 100644 doc/progdoc

(limited to 'doc')

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
-- 
cgit v1.2.3