src/Doc/ROOT

--- a/src/Doc/ROOT	Sun Nov 11 21:08:11 2012 +0100
+++ b/src/Doc/ROOT	Mon Nov 12 21:17:58 2012 +0100
@@ -262,7 +262,6 @@
     "../manual.bib"
     "document/build"
     "document/root.tex"
-    "document/substitution.tex"
     "document/syntax.tex"
     "document/thm.tex"