--- a/src/Doc/ROOT Sat Jul 27 21:10:18 2013 +0200
+++ b/src/Doc/ROOT Sat Jul 27 21:21:47 2013 +0200
@@ -33,8 +33,6 @@
"../extra.sty"
"../isar.sty"
"../manual.bib"
- "document/adapt.tex"
- "document/architecture.tex"
"document/build"
"document/root.tex"
"document/style.sty"