src/Doc/ROOT
changeset 52742 e7296939fec2
parent 52741 c08bd0a219f8
child 52792 3e651be14fcd
     1.1 --- a/src/Doc/ROOT	Sat Jul 27 21:10:18 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Sat Jul 27 21:21:47 2013 +0200
     1.3 @@ -33,8 +33,6 @@
     1.4      "../extra.sty"
     1.5      "../isar.sty"
     1.6      "../manual.bib"
     1.7 -    "document/adapt.tex"
     1.8 -    "document/architecture.tex"
     1.9      "document/build"
    1.10      "document/root.tex"
    1.11      "document/style.sty"