1 files changed, 0 insertions, 9 deletions
diff --git a/Doc b/Doc
deleted file mode 100644
index 77061390..00000000
--- a/Doc
+++ /dev/null
@@ -1,9 +0,0 @@
-D doc/prog-head.sgml
-C doc
-C nest
-C conf
-C filter
-C proto
-C sysdep
-C lib
-D doc/prog-foot.sgml