diff options
Diffstat (limited to 'bin/clean-diaper.sh')
| -rw-r--r-- | bin/clean-diaper.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/bin/clean-diaper.sh b/bin/clean-diaper.sh new file mode 100644 index 0000000000..284346da82 --- /dev/null +++ b/bin/clean-diaper.sh @@ -0,0 +1,14 @@ +#!/bin/sh + +# unclobber current dir. +rm -vf *.aux *.log `grep -li "^% Creator: GNU LilyPond" *.out` *.orig *~ +rm -vf `grep -li "Creator: mi2mu" *.midi.ly` +rm -vf `grep -li "Creator: GNU LilyPond" *.midi` +rm -vf `find -name 'core'` +rm -vf `find -name *.orig` +rm -vf `find -name *.rej` + +# docxx mess +rm -vf *dvi +rm -vf *.class HIER*.html dxxgifs.tex gifs.db icon?.gif logo.gif down.gif \ + aindex.html index.html |