Add "make regen"

Add a top-level Makefile.in target to update checked-in generated
files, to simplify release engineering and repository maintenance.

diff --git a/src/Makefile.in b/src/Makefile.in
index 56c7a4e6fff6ff2717497ee5a4031e22e88409d4..f9270aba25381650bd8b0e492db7d7a481006bac 100644 (file)
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -683,5 +683,12 @@ tags: FORCE
 FORCE:
 .PHONY: FORCE tags
 
+# Update versioned automatically-generated files.
+regen:
+       $(MAKE) depend
+       (cd man && $(MAKE) man)
+       (cd po && $(MAKE) update-po)
+       (cd lib/krb5/krb && $(RM) deltat.c && $(MAKE) deltat.c)
+
 distclean-unix:
        $(RM) $(top_srcdir)/TAGS