* Makefile.in (distclean): Don't forget to delete
authorJim Blandy <jimb@red-bean.com>
Wed, 11 Sep 1996 19:55:50 +0000 (19:55 +0000)
committerJim Blandy <jimb@red-bean.com>
Wed, 11 Sep 1996 19:55:50 +0000 (19:55 +0000)
config.build-subdirs.

Makefile.in

index b80c8f5..9c01f1f 100644 (file)
@@ -111,6 +111,7 @@ distclean:
        rm -f config.cache
        rm -f config.log
        rm -f config.status
+       rm -f config.build-subdirs
        rm -f Makefile
        rm -f doc/Makefile
        for dir in ${subdirs}; do \