diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2008-11-28 00:24:04 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:21 +0200 |
| commit | 4276d54c0037552d74b4ef6840783f905d3dd6c4 (patch) | |
| tree | 39dac66fd8074f714eba3bbdec8adaeeb416edad | |
| parent | 56ff60294ba81457e453b688cbec314f92f0fff3 (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-- | ChangeLog | 5 | ||||
| -rw-r--r-- | doc/Makefrag.am | 8 |
2 files changed, 11 insertions, 2 deletions
@@ -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" \ |