Website restyling

[pygost.git] / www.mk

diff --git a/www.mk b/www.mk
index 9e1c2bb7fe8adef5036edd38572d567d9ef55f88..e61a9b3cb1b7193f75ea300a5e1e35e6e67483b7 100644 (file)
--- a/www.mk
+++ b/www.mk
@@ -2,10 +2,12 @@ all: pygost.html
 
 MAKEINFO ?= makeinfo
 
+CSS != cat style.css
+
 pygost.html: *.texi
        rm -f pygost.html/*.html
        $(MAKEINFO) --html \
-               --set-customization-variable NO_CSS=1 \
+               --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 \