diff GNUmakefile @ 2846:fdf1464e1977

Moved banner to the external file to make partial rollout possible. An idea is to have several banners and show them with different probability specified by split directive in the nginx.conf
author Sergey Budnevitch <sb@waeme.net>
date Tue, 10 May 2022 18:07:27 +0400
parents 7fb8f484166d
children c704a743f269
line wrap: on
line diff
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -1,6 +1,7 @@
 
 OUT =		libxslt
 TEXT =		text
+BANNER =	banner
 ZIP =		gzip
 NGINX_ORG =	/data/www/nginx.org
 SHELL =		./umasked.sh
@@ -45,6 +46,7 @@ COMMON_DEPS =								\
 		xslt/style.xslt						\
 		xslt/body.xslt						\
 		xslt/menu.xslt						\
+		xslt/banner.xslt					\
 		xslt/ga.xslt						\
 		xslt/content.xslt					\
 
@@ -313,14 +315,15 @@ gzip:	rsync_gzip
 	$(MAKE) do_gzip
 
 rsync_gzip:
-	$(CHMOD) $(OUT) $(TEXT)
-	$(RSYNC) --delete --exclude='*.gz' $(OUT)/ $(TEXT)/ $(ZIP)/
+	$(CHMOD) $(OUT) $(TEXT) $(BANNER)
+	$(RSYNC) --delete --exclude='*.gz' $(OUT)/ $(TEXT)/ $(BANNER) $(ZIP)/
 
 do_gzip:	$(addsuffix .gz, $(wildcard $(ZIP)/*.html))		\
 		$(addsuffix .gz,					\
 			$(foreach lang, $(LANGS),			\
 			$(foreach dir, . docs docs/dev docs/faq docs/http docs/mail docs/njs docs/stream, \
 			$(wildcard $(ZIP)/$(lang)/$(dir)/*.html))))	\
+		$(addsuffix .gz, $(wildcard $(ZIP)/$(BANNER)/*.html))	\
 		$(ZIP)/index.rss.gz					\
 		$(ZIP)/LICENSE.gz					\
 		$(ZIP)/en/CHANGES.gz					\