Download link for 4.2 release

[pygost.git] / www.mk

diff --git a/www.mk b/www.mk
index 7071cd905e19d42655711ff0744de6600bdeef96..d6e0d45a030808d255d4ba8d1c6662c1f114039f 100644 (file)
--- a/www.mk
+++ b/www.mk
@@ -2,11 +2,17 @@ all: pygost.html
 
 MAKEINFO ?= makeinfo
 
-pygost.html: www.texi
+CSS != cat style.css
+
+pygost.html: *.texi
        rm -f pygost.html/*.html
        $(MAKEINFO) --html \
-               --set-customization-variable NO_CSS=1 \
+               --set-customization-variable EXTRA_HEAD='<link rev="made" href="mailto:webmaster@cypherpunks.ru">' \
+               --set-customization-variable CSS_LINES='$(CSS)' \
                --set-customization-variable SHOW_TITLE=0 \
+               --set-customization-variable USE_ACCESSKEY=0 \
                --set-customization-variable DATE_IN_HEADER=1 \
                --set-customization-variable TOP_NODE_UP_URL=index.html \
+               --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
+               --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
                -o pygost.html www.texi