1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile.in b/doc/Makefile.in
index 669a1d03..9e7f0e60 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -54,5 +54,7 @@ clean:
 clean-real:
 	rm -f manual.txt
 
+maintainer-clean: clean clean-real
+
 distclean: clean
 	rm -f Makefile