From 48987a7eb6f36f0f190cac9f91bc4614dd8349ed Mon Sep 17 00:00:00 2001
From: Greg Hudson <ghudson@mit.edu>
Date: Fri, 20 Mar 2020 12:29:08 -0400
Subject: [PATCH] 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 file changed, 7 insertions(+)

diff --git a/src/Makefile.in b/src/Makefile.in
index 56c7a4e6ff..f9270aba25 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
-- 
2.47.2