diff -r 3355abbeced1 -r 2c119fed01f0 Admin/page/Makefile
--- a/Admin/page/Makefile	Fri Apr 22 01:48:08 2005 +0200
+++ b/Admin/page/Makefile	Fri Apr 22 02:03:52 2005 +0200
@@ -34,6 +34,11 @@
 DOC_CONTENTS_MAIN = docu-contents.main
 DOC_CONTENTS_DIST = docu-contents.dist
 
+# --- target directories for publishing to web site
+MAIN_PUB_MIRROR_SRC=sunbroy2.informatik.tu-muenchen.de:/home/proj/isabelle-repository/www/
+MAIN_PUB_DEST=sunbroy2.informatik.tu-muenchen.de:/home/html/isabelle/html-data/
+DIST_PUB_DEST=sunbroy2.informatik.tu-muenchen.de:/home/html/isabelle/html-data/dist/
+
 # ---
 # --- begin rules
 
@@ -44,11 +49,20 @@
 	@env DISTNAME=`cat DISTNAME` \
 	  $(GENPAGE) -t $(MAIN_LAYOUT)/$(TEMPLATE_NAME) -c $(MAIN_CONTENT) -o $(MAIN_TARGET)
 
+pub-main: main
+	@echo "Publishing main pages."
+	scp main/* $(MAIN_PUB_MIRROR_SRC)
+	scp main/* $(MAIN_PUB_DEST)
+
 dist:
 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
 	@env DISTNAME=`cat DISTNAME` \
 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
 
+pub-dist: dist
+	@echo "Publishing dist pages."
+	scp dist/*.html $(DIST_PUB_DEST)
+
 install: main dist
 	@cp -R dist/. ..
 	@mkdir -p ../../main-`cat DISTNAME`/.