From 34689fed5ea592951694764d9f4d6244f37ac743 Mon Sep 17 00:00:00 2001
From: Axel Kohlmeyer <akohlmey@gmail.com>
Date: Mon, 13 Apr 2020 23:34:29 -0400
Subject: [PATCH] make clean-all should also remove Manual.pdf and
 Developer.pdf

---
 doc/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Makefile b/doc/Makefile
index 17d394a99a..c1f299a2f7 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -57,7 +57,7 @@ help:
 # ------------------------------------------
 
 clean-all: clean
-	rm -rf $(BUILDDIR)/docenv $(BUILDDIR)/doctrees $(BUILDDIR)/mathjax
+	rm -rf $(BUILDDIR)/docenv $(BUILDDIR)/doctrees $(BUILDDIR)/mathjax Manual.pdf Developer.pdf
 
 clean: clean-spelling
 	rm -rf html epub latex