--- a/src/Doc/ROOT Sun Nov 04 20:23:26 2012 +0100
+++ b/src/Doc/ROOT Wed Nov 07 12:14:38 2012 +0100
@@ -261,7 +261,6 @@
"../proof.sty"
"../manual.bib"
"document/build"
- "document/classical.tex"
"document/root.tex"
"document/simplifier.tex"
"document/substitution.tex"