From 42d2470c38825ce719cb867eaca54586cc4fedd5 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Mon, 17 Aug 2009 21:29:30 +0000
Subject: [PATCH] Make version.sgml depend on configure instead of
Makefile.global. This cheats a bit, but it avoids unsatisfied dependencies
in distribution tarballs. (found by make distcheck)
---
doc/src/sgml/Makefile | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
index ee6e4be27e3..a46352530a9 100644
--- a/doc/src/sgml/Makefile
+++ b/doc/src/sgml/Makefile
@@ -2,7 +2,7 @@
#
# PostgreSQL documentation makefile
#
-# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.126 2009/08/15 01:56:35 tgl Exp $
+# $PostgreSQL: pgsql/doc/src/sgml/Makefile,v 1.127 2009/08/17 21:29:30 petere Exp $
#
#----------------------------------------------------------------------------
@@ -118,7 +118,12 @@ $(srcdir)/HTML.index: postgres.sgml $(ALMOSTALLSGML) stylesheet.dsl
$(srcdir)/bookindex.sgml: HTML.index
LC_ALL=C $(PERL) $(COLLATEINDEX) -f -g -i 'bookindex' -o $@ $<
-$(srcdir)/version.sgml: $(top_builddir)/src/Makefile.global
+# Technically, this should depend on Makefile.global, but then
+# version.sgml would need to be rebuilt after every configure run,
+# even in distribution tarballs. So this is cheating a bit, but it
+# will achieve the goal of updating the version number when it
+# changes.
+$(srcdir)/version.sgml: $(top_srcdir)/configure
{ \
echo "<!entity version \"$(VERSION)\">"; \
echo "<!entity majorversion \"$(MAJORVERSION)\">"; \
--
GitLab