yyprint -> print_token_value

[bison.git] / Makefile.maint

diff --git a/Makefile.maint b/Makefile.maint
index 8c990783a16113383bd9fafc73335380bb9ab69b..83efdf30e9cb6121f3715d15c25f96059821f24a 100644 (file)
--- a/Makefile.maint
+++ b/Makefile.maint
@@ -97,7 +97,16 @@ m4-check:
 po-check:
        if test -f po/POTFILES.in; then \
          grep -E -v '^(#|$$)' po/POTFILES.in | sort > $@-1; \
-         grep -E -l '\b_\(' lib/*.[ch] src/*.[ch] | sort > $@-2; \
+         files=; \
+         for file in lib/*.[chly] src/*.[chly]; do \
+           case $$file in \
+           *.[ch]) \
+             base=`expr " $$file" : ' \(.*\)\..'`; \
+             { test -f $$base.l || test -f $$base.y; } && continue;; \
+           esac; \
+           files="$$files $$file"; \
+         done; \
+         grep -E -l '\bN?_\([^)"]*("|$$)' $$files | sort > $@-2; \
          diff -u $@-1 $@-2 || exit 1; \
          rm -f $@-1 $@-2; \
        fi
@@ -281,7 +290,8 @@ move_if_change ?= move-if-change
 # --------------------- #
 
 .PHONY: update
-update: wget-update cvs-update po-update
+local_updates ?= wget-update cvs-update po-update
+update: $(local_updates)
 
 
 # ------------------- #