diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index 07f1abfc31..e40a95b3e6 100644
--- a/doc/arm/Makefile.in
+++ b/doc/arm/Makefile.in
@@ -34,7 +34,7 @@ clean::
 docclean manclean maintainer-clean:: clean
 	rm -f *.html ${PDFOBJS}
 
-docclean manclean maintainer-clean distclean::
+maintainer-clean distclean::
 	rm -f releaseinfo.xml
 	rm -f pkgversion.xml
 	rm -f noteversion.xml