Browse Source

Switch to using makefile based approach

Samuel W. Flint 4 years ago
parent
commit
e3e905830b
1 changed files with 15 additions and 12 deletions
  1. 15 12
      clean-directory

+ 15 - 12
clean-directory

@@ -1,14 +1,17 @@
 #!/bin/sh
 
-rm -f *~ 2> /dev/null
-rm -f \#*\# 2> /dev/null
-rm -f *.aux 2> /dev/null
-rm -f *.bcf 2> /dev/null
-rm -f *.bbl 2> /dev/null
-rm -f *.toc 2> /dev/null
-rm -f *.blg 2> /dev/null
-rm -f *.lol 2> /dev/null
-rm -f *.log 2> /dev/null
-rm -f *.out 2> /dev/null
-rm -f *.run.xml 2> /dev/null
-rm -f flycheck_* 2> /dev/null
+if [ -e Makefile ] ; then
+    make clean
+    exit
+fi
+
+TEMPFILE=$(mktemp)
+
+cat <<EOF >${TEMPFILE}
+clean:
+	\$(RM) *~ #*# *.aux *.bcf *.bbl *.toc *.blg *.lol *.log *.out *.run.xml flycheck_* 
+EOF
+
+make -f ${TEMPFILE} clean
+
+rm ${TEMPFILE}