src/Doc/ROOT
changeset 57083 5c26000e1042
parent 56825 8872e0776e97
child 57312 afbc20986435
     1.1 --- a/src/Doc/ROOT	Sat May 24 19:15:04 2014 +0200
     1.2 +++ b/src/Doc/ROOT	Sat May 24 20:07:26 2014 +0200
     1.3 @@ -406,8 +406,8 @@
     1.4      "Sets/Relations"
     1.5      "Sets/Recur"
     1.6    document_files (in "ToyList")
     1.7 -    "ToyList1"
     1.8 -    "ToyList2"
     1.9 +    "ToyList1.txt"
    1.10 +    "ToyList2.txt"
    1.11    document_files (in "..")
    1.12      "pdfsetup.sty"
    1.13      "ttbox.sty"