1 files changed, 1 insertions, 1 deletions

diff --git a/Doc b/Doc
index 57eeb78f..f5f15087 100644
--- a/Doc
+++ b/Doc
@@ -1,4 +1,4 @@
-D prog-intro.sgml
+C doc
 C nest
 C conf
 C filter