doc-isac/msteger/bakk-arbeit/CLEANUP
author Walther Neuper <neuper@ist.tugraz.at>
Tue, 17 Sep 2013 09:50:52 +0200
changeset 52107 f8845fc8f38d
parent 52056 src/Doc/isac/msteger/bakk-arbeit/CLEANUP@f5d9bceb4dc0
permissions -rwxr-xr-x
separated Isac documentation (~~/doc-isac) from Isabelle documentation (~~/src/Doc)
neuper@42072
     1
rm *.dvi
neuper@42072
     2
rm *.bbl
neuper@42072
     3
rm *.blg
neuper@42072
     4
rm *.aux
neuper@42072
     5
rm *.log
neuper@42072
     6
rm *.nav
neuper@42072
     7
rm *.out
neuper@42072
     8
rm *.snm
neuper@42072
     9
rm *.toc
neuper@42072
    10
rm *~