(ISDIGIT): Replace with smaller, faster edition

[gnulib.git] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index 836e6de..02a2e04 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -54,7 +54,7 @@ regex.o: regex.c regex.h
 clean mostlyclean::
        rm -f *.o
 
-distclean:: clean
+distclean realclean:: clean
        rm -f Makefile config.status
 
 extraclean:: distclean