.gitignore and clean.do: add minimal/.do*

This commit is contained in:
Avery Pennarun 2018-11-15 23:59:04 -05:00
commit 2eb9e91c7c
2 changed files with 3 additions and 0 deletions

2
.gitignore vendored
View file

@ -1,6 +1,8 @@
/.redo
/.do_built
/.do_built.dir
/minimal/.do_built
/minimal/.do_built.dir
*~
*.pyc
*.tmp

View file

@ -6,6 +6,7 @@ if [ -e .do_built ]; then
done <.do_built
fi
[ -z "$DO_BUILT" ] && rm -rf .do_built .do_built.dir
rm -rf minimal/.do_built minimal/.do_built.dir
redo t/clean Documentation/clean version/clean
rm -f *~ .*~ */*~ */.*~ *.pyc install.wrapper
find . -name '*.tmp' -exec rm -fv {} \;