From 2eb9e91c7cbca325c621c92472c0c13a8e2b65e8 Mon Sep 17 00:00:00 2001
From: Avery Pennarun <apenwarr@gmail.com>
Date: Thu, 15 Nov 2018 23:59:04 -0500
Subject: [PATCH] .gitignore and clean.do: add minimal/.do*

---
 .gitignore | 2 ++
 clean.do   | 1 +
 2 files changed, 3 insertions(+)

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 {} \;