summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Schwinge <tschwinge@gnu.org>2008-11-28 00:24:04 +0000
committerThomas Schwinge <tschwinge@gnu.org>2009-06-18 00:27:21 +0200
commit4276d54c0037552d74b4ef6840783f905d3dd6c4 (patch)
tree39dac66fd8074f714eba3bbdec8adaeeb416edad
parent56ff60294ba81457e453b688cbec314f92f0fff3 (diff)
2008-11-28 Thomas Schwinge <tschwinge@gnu.org>
* doc/Makefrag.am: Only advertize updating the web pages on gnumach-1-branch.
-rw-r--r--ChangeLog5
-rw-r--r--doc/Makefrag.am8
2 files changed, 11 insertions, 2 deletions
diff --git a/ChangeLog b/ChangeLog
index 97271c3..082601d 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-11-28 Thomas Schwinge <tschwinge@gnu.org>
+
+ * doc/Makefrag.am: Only advertize updating the web pages on
+ gnumach-1-branch.
+
2008-11-27 Samuel Thibault <samuel.thibault@ens-lyon.org>
* i386/i386/proc_reg.h (invlpg): New macro.
diff --git a/doc/Makefrag.am b/doc/Makefrag.am
index 4cc44cc..490ebf5 100644
--- a/doc/Makefrag.am
+++ b/doc/Makefrag.am
@@ -1,6 +1,6 @@
# Makefile fragment for the documentation.
-# Copyright (C) 2006, 2007 Free Software Foundation, Inc.
+# Copyright (C) 2006, 2007, 2008 Free Software Foundation, Inc.
# This program is free software; you can redistribute it and/or modify it
# under the terms of the GNU General Public License as published by the
@@ -105,7 +105,11 @@ pdf-local:
# TODO. There doesn't seem to be a hook or `-local' target suitable for this.
$(srcdir)/doc/version.texi: $(srcdir)/doc/stamp-vti
@if test -d $(web); then :; \
- elif grep -q :ext: $(top_srcdir)/CVS/Root 2> /dev/null; then \
+ elif grep 2> /dev/null \
+ -q :ext: $(top_srcdir)/CVS/Root 2> /dev/null && \
+ grep 2> /dev/null \
+ -q ^Tgnumach-1-branch$$ $(top_srcdir)/CVS/Tag; \
+ then \
echo "*** As it seems that you'd be allowed to check in the" \
"possible resulting fixes, you may consider running" \
" \`make $(web)' to get a checkout of the web pages of the" \