summaryrefslogtreecommitdiff
path: root/biblio/bibtex/utils/bibtools/cleantex
diff options
context:
space:
mode:
Diffstat (limited to 'biblio/bibtex/utils/bibtools/cleantex')
-rw-r--r--biblio/bibtex/utils/bibtools/cleantex19
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