--- a/src/Doc/ROOT Tue Jun 18 12:21:57 2013 +0200
+++ b/src/Doc/ROOT Tue Jun 18 15:15:36 2013 +0200
@@ -257,7 +257,6 @@
"../manual.bib"
"document/build"
"document/root.tex"
- "document/syntax.tex"
session Sledgehammer (doc) in "Sledgehammer" = Pure +
options [document_variants = "sledgehammer"]