don't run {doc,man}clean for releaseinfo.xml and friend

diff --git a/doc/arm/Makefile.in b/doc/arm/Makefile.in
index 07f1abfc3188dc9c334e91093f8d737c7f14a796..e40a95b3e63370c29c687ba58e3794e2a0439cb4 100644 (file)
--- 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