krb5 commit: Add "make regen"

[Greg Hudson]

https://github.com/krb5/krb5/commit/48987a7eb6f36f0f190cac9f91bc4614dd8349ed
commit 48987a7eb6f36f0f190cac9f91bc4614dd8349ed
Author: Greg Hudson <ghudson at mit.edu>
Date:   Fri Mar 20 12:29:08 2020 -0400

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

 src/Makefile.in |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)

diff --git a/src/Makefile.in b/src/Makefile.in
index 56c7a4e..f9270ab 100644
--- 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