From 4b4113cb4542d2b9f7bec30e4dda8588538ab9f6 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Thu, 1 Jan 1970 00:00:00 +0000
Subject: [PATCH] Don't keep rebuilding the PO files.  Have a separate
 'update-po' rule.

---
 Makefile.in | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/Makefile.in b/Makefile.in
index 799da69..35582d1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -50,7 +50,7 @@ endif
 TARGETS		= $(MANPAGES) $(TEXTMANPAGES)
 
 all: $(TARGETS)
-	for d in $(SUBDIRS); do \
+	for d in $(SUBDIRS_NOT_PO); do \
 	  $(MAKE) -C $$d $@; \
 	  if [ $$? -ne 0 ]; then exit 1; fi; \
 	done
@@ -83,6 +83,11 @@ distclean: clean
 	rm -f Makefile
 	rm -f */Makefile
 
+# Rebuild the PO files.
+
+update-po:
+	$(MAKE) -C po all
+
 # Developer documentation (in html/ subdirectory).
 
 ifneq ($(OCAMLDOC),)
-- 
1.8.3.1