diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-11-21 23:36:14 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:56 +0200 |
| commit | 5a091eb5a5a1b22cb2676fe2ecc461b5289fc556 (patch) | |
| tree | 42a1072b7ff94be84145fe8d4c62dafbcb77119a /doc | |
| parent | 5650d3ce74fe826fe8cebdfd0d27f6ed1bbc839a (diff) | |
2006-11-21 Thomas Schwinge <tschwinge@gnu.org>
* doc/Makefrag.am ($(srcdir)/doc/version.texi): New target to faciliate
keeping the web pages of the GNU Mach Reference Manual updated.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefrag.am | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/doc/Makefrag.am b/doc/Makefrag.am index 21d07aa8..093b2727 100644 --- a/doc/Makefrag.am +++ b/doc/Makefrag.am @@ -32,7 +32,8 @@ mach_TEXINFOS = \ web = doc/web # Prepare a checkout in `$(web)/' of the web pages of the GNU Mach Reference -# Manual, using the same account that was used for the source code. +# Manual, using the same account that was used for the source code. Then +# install the potentially updated files into `$(web)/'. .PHONY: $(web) $(web): if test -d $@/CVS; then :; else \ @@ -65,12 +66,6 @@ html-local: cp $(HTMLS)/*.html $(web)/ && \ cd $(web)/ && \ { cvs add *.html || :; }; \ - elif grep -q :ext: $(top_srcdir)/CVS/Root; then \ - echo "*** As it seems that you'd be allowed to check in the" \ - "possible resulting fixes, you may cosider running" \ - " \`make $(web)' to get a checkout of the web pages of the" \ - "GNU Mach manual and have possible changes installed into" \ - "\`$(web)/', ready for checking them in in there."; \ fi ps-local: if test -d $(web); then \ @@ -89,12 +84,6 @@ ps-local: gzip -9 < "$$f" > "$$f".gz; \ done && \ { cvs add *.ps *.ps.gz || :; }; \ - elif grep -q :ext: $(top_srcdir)/CVS/Root; then \ - echo "*** As it seems that you'd be allowed to check in the" \ - "possible resulting fixes, you may cosider running" \ - " \`make $(web)' to get a checkout of the web pages of the" \ - "GNU Mach manual and have possible changes installed into" \ - "\`$(web)/', ready for checking them in in there."; \ fi pdf-local: if test -d $(web); then \ @@ -110,10 +99,15 @@ pdf-local: cp $(PDFS) $(web)/ && \ cd $(web)/ && \ { cvs add *.pdf || :; }; \ + fi +# 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; then \ echo "*** As it seems that you'd be allowed to check in the" \ "possible resulting fixes, you may cosider running" \ " \`make $(web)' to get a checkout of the web pages of the" \ "GNU Mach manual and have possible changes installed into" \ - "\`$(web)/', ready for checking them in in there."; \ + "\`$(web)/', ready for checking them in in there." && \ + sleep 2; \ fi |