src/Doc/ROOT
changeset 52414 8429123bc58a
parent 52412 4cfa094da3cb
child 52415 d9fed6e99a57
     1.1 --- a/src/Doc/ROOT	Tue Jun 18 12:21:57 2013 +0200
     1.2 +++ b/src/Doc/ROOT	Tue Jun 18 15:15:36 2013 +0200
     1.3 @@ -257,7 +257,6 @@
     1.4      "../manual.bib"
     1.5      "document/build"
     1.6      "document/root.tex"
     1.7 -    "document/syntax.tex"
     1.8  
     1.9  session Sledgehammer (doc) in "Sledgehammer" = Pure +
    1.10    options [document_variants = "sledgehammer"]