all-doc: new target. Fixes waiting for `make doc' only to find no website.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index cef60cb400df6bb67d9e802a7336b1b50642bf8b..8e56947fe76fba842e721e37334cff04501555db 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -124,8 +124,12 @@ WWW-post:
        find $(outdir) -name '*-root' | xargs rm -rf
        $(buildscript-dir)/www_post $(PACKAGE_NAME) $(TOPLEVEL_VERSION) $(outdir) "$(WEB_TARGETS)"
        find $(outdir)/offline-root -type l -delete
-endif
+endif # ifeq ($(out),www)
 
+# For those who cannot for the life in them remember to type
+# WEB_TARGETS=..., just bloody make all doc stuff, already.
+all-doc:
+       $(MAKE) WEB_TARGETS='online offline' doc
 
 tree-prefix = $(outdir)
 tree-bin = $(tree-prefix)/bin