Clean src/doc/en/installation/*.txt in bootstrap-clean, not misc-clean

sagemath · Feb 22, 2020 · 0dc97db · 0dc97db
1 parent 268f41a
commit 0dc97db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -82,7 +82,6 @@ misc-clean:
 	rm -rf logs
 	rm -rf dist
 	rm -rf tmp
-	rm -f src/doc/en/installation/*.txt
 	rm -f aclocal.m4 config.log confcache
 	rm -rf autom4te.cache
 	rm -f build/make/Makefile build/make/Makefile-auto
@@ -103,6 +102,7 @@ distclean: build-clean
 # source tarball
 bootstrap-clean:
 	rm -rf config configure build/make/Makefile-auto.in
+	rm -f src/doc/en/installation/*.txt
 
 # Remove absolutely everything which isn't part of the git repo
 maintainer-clean: distclean bootstrap-clean