diff options
Diffstat (limited to 'biblio/bibtex/utils/bibtools/cleantex')
-rw-r--r-- | biblio/bibtex/utils/bibtools/cleantex | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/biblio/bibtex/utils/bibtools/cleantex b/biblio/bibtex/utils/bibtools/cleantex new file mode 100644 index 0000000000..14d8bd29a0 --- /dev/null +++ b/biblio/bibtex/utils/bibtools/cleantex @@ -0,0 +1,19 @@ +#!/bin/csh +# +# cleantex - clean up files related to Latex processing +# +# usage - cleantex [base]... +# default is \*, ie, to remove all latex extraneous files. +# Otherwise, those beginning with 'base.' are removed. +# +# No csh -f flag so that we get safe-rm instead of rm, where appropriate. + +set extensions="{dvi,aux,log,toc,lof,bbl,blg,lot,inx}" + +if ($#argv == 0) then + rm -f *~ *.$extensions +else + foreach i ($*) + rm -f $i.tex~ $i.$extensions + end +endif |