src/Doc/ROOT
changeset 50084 3a3c54342e58
parent 50080 200f749c96db
child 50426 d2c60ada3ece
     1.1 --- a/src/Doc/ROOT	Sun Nov 11 21:08:11 2012 +0100
     1.2 +++ b/src/Doc/ROOT	Mon Nov 12 21:17:58 2012 +0100
     1.3 @@ -262,7 +262,6 @@
     1.4      "../manual.bib"
     1.5      "document/build"
     1.6      "document/root.tex"
     1.7 -    "document/substitution.tex"
     1.8      "document/syntax.tex"
     1.9      "document/thm.tex"
    1.10