* Makefile.in (distclean): Don't forget to delete doc/Makefile.

diff --git a/Makefile.in b/Makefile.in
index 2e6a00e..b80c8f5 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -112,6 +112,7 @@ distclean:
        rm -f config.log
        rm -f config.status
        rm -f Makefile
+       rm -f doc/Makefile
        for dir in ${subdirs}; do \
                cd $$dir; \
                ${MAKE} distclean; \