[m-rev.] diff: Build the documentation for the website in the main repository

[Paul Bone]

Add support (actually there was some existing but unused support here
already) for building the documentation parts of the website within the doc/
directory of the main repository, rather than within the www repository
(which had to checkout the main repository).  This makes it easy to build
the documentation and upload it to the webserver, as the webserver has
limited resources.

doc/Mmakefile:
    As above.
---
 doc/Mmakefile | 23 ++++++++++-------------
 1 file changed, 10 insertions(+), 13 deletions(-)

diff --git a/doc/Mmakefile b/doc/Mmakefile
index 7664ba2..76fe470 100644
--- a/doc/Mmakefile
+++ b/doc/Mmakefile
@@ -452,23 +452,20 @@ uninstall:
 # a different directory (supplied by the environment variable
 # INSTALL_WEBPAGE_DIR).
 
-#.PHONY: install_webpage
-#install_webpage: library-chapters.texi_pp split_html ps pdf install_dirs
-#	cp *.ps $(INSTALL_WEBPAGE_DIR)
-#	cp *.pdf $(INSTALL_WEBPAGE_DIR)
-#	for file in $(INSTALL_WEBPAGE_DIR)/*.ps ; do \
-#		gzip -f -9 $$file ; \
-#	done
-#	cp -r $(TEXINFO_INFO_FILES:%.info=%) $(INSTALL_WEBPAGE_DIR)
-
-# XXX We should use the commented out version above but dvips is not
-# working correctly on earth at the moment - juliensf.
-#
 .PHONY: install_webpage
-install_webpage: library-chapters.texi_pp split_html pdf install_dirs
+install_webpage: library-chapters.texi_pp split_html ps pdf install_dirs
+	cp *.ps $(INSTALL_WEBPAGE_DIR)
 	cp *.pdf $(INSTALL_WEBPAGE_DIR)
+	for file in $(INSTALL_WEBPAGE_DIR)/*.ps ; do \
+		gzip -f -9 $$file ; \
+	done
 	cp -r $(TEXINFO_INFO_FILES:%.info=%) $(INSTALL_WEBPAGE_DIR)
 
+webpage.tar.gz:
+	rm -rf webpage
+	mmake INSTALL_WEBPAGE_DIR=webpage install_webpage
+	tar -zcf webpage.tar.gz webpage/
+
 #-----------------------------------------------------------------------------#
 
 clean_local: distclean clean_texi
-- 
1.8.1.3