diff --git a/.gitignore b/.gitignore
index 07cf226..ccaf84b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,8 @@
 /.redo
 /.do_built
 /.do_built.dir
+/minimal/.do_built
+/minimal/.do_built.dir
 *~
 *.pyc
 *.tmp
diff --git a/clean.do b/clean.do
index fa19135..694c6b2 100644
--- a/clean.do
+++ b/clean.do
@@ -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 {} \;