Admin/page/Makefile
changeset 15886 c5d873a86e0f
parent 15810 2c119fed01f0
child 15933 7f3ccb84e60d
--- a/Admin/page/Makefile	Fri Apr 29 13:11:19 2005 +0200
+++ b/Admin/page/Makefile	Fri Apr 29 13:11:42 2005 +0200
@@ -50,9 +50,9 @@
 	  $(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)
+	@echo "Publishing main pages (*.html only)."
+	scp main/*.html $(MAIN_PUB_MIRROR_SRC)
+	scp main/*.html $(MAIN_PUB_DEST)
 
 dist:
 	@$(MKCONTENT) -p `cat DISTNAME`/doc/ $(DOC_CONTENT_FILE) $(DOC_CONTENTS_DIST)
@@ -60,7 +60,7 @@
 	  $(GENPAGE) -t $(DIST_LAYOUT)/$(TEMPLATE_NAME) -c $(DIST_CONTENT) -o $(DIST_TARGET)
 
 pub-dist: dist
-	@echo "Publishing dist pages."
+	@echo "Publishing dist pages (*.html only)."
 	scp dist/*.html $(DIST_PUB_DEST)
 
 install: main dist