Build: add a special target for the split website portion of the docs.

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 123684cabda18df890a7a287337cd8badbe8f51a..84702bca88d584adc1f41e27aecc1946df72415d 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -234,6 +234,14 @@ grand-replace:
        $(MAKE) -C scripts/build
        PATH=$(buildscript-dir):$(PATH) $(buildscript-dir)/grand-replace
 
+
+################################################################
+# website (without the rest of the docs)
+web-gop:
+       touch Documentation/general.texi
+       cd Documentation && make out=www out-www/general/index.html
+
+
 ################################################################
 # testing