diff -r c08bd0a219f8 -r e7296939fec2 src/Doc/ROOT
--- 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"