X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=Makefile;h=c178205a447e15bf33a37fddde16447fdd0f6af7;hb=0173b1e598b66fc95f4cf3af023313e29701e384;hp=f6cd61bd9716efbec3c3611a68a17cba39be7b6a;hpb=b3141dc15538accd8566de0d1e39b3f2f02650cb;p=gnulib.git

diff --git a/Makefile b/Makefile
index f6cd61bd9..c178205a4 100644
--- a/Makefile
+++ b/Makefile
@@ -9,17 +9,16 @@
 all:
 
 # Produce the documentation in readable form.
-info:
-	cd doc && $(MAKE) info
-html:
-	cd doc && $(MAKE) html
-dvi:
-	cd doc && $(MAKE) dvi && $(MAKE) mostlyclean
-pdf:
-	cd doc && $(MAKE) pdf && $(MAKE) mostlyclean
+info html dvi pdf:
+	cd doc && $(MAKE) $@ && $(MAKE) mostlyclean
 
 # Perform some platform independent checks on the gnulib code.
-check:
+check: sc_prefer_ac_check_funcs_once
+
+sc_prefer_ac_check_funcs_once:
+	git grep -w -l AC_CHECK_FUNCS modules && \
+	  { echo use AC_CHECK_FUNCS_ONCE, not AC_CHECK_FUNCS in modules/ 1>&2; \
+	    exit 1; } || :
 
 # Regenerate some files that are stored in the repository.
 regen: MODULES.html