src/Doc/ROOT
changeset 62013 92a2372a226b
parent 60674 2f66099fb472
child 62154 b855771b3979
     1.1 --- a/src/Doc/ROOT	Thu Dec 31 15:27:25 2015 +0100
     1.2 +++ b/src/Doc/ROOT	Thu Dec 31 19:53:19 2015 +0100
     1.3 @@ -370,7 +370,6 @@
     1.4    document_files (in "../Isar_Ref/document")
     1.5      "style.sty"
     1.6    document_files
     1.7 -    "browser_screenshot.png"
     1.8      "build"
     1.9      "root.tex"
    1.10