--- a/src/Doc/ROOT Sat Nov 10 20:16:16 2012 +0100
+++ b/src/Doc/ROOT Sun Nov 11 16:19:55 2012 +0100
@@ -262,7 +262,6 @@
"../manual.bib"
"document/build"
"document/root.tex"
- "document/simplifier.tex"
"document/substitution.tex"
"document/syntax.tex"
"document/thm.tex"