From a7e40676ecce86edda0115861ebaef72c408420e Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 20 Dec 2019 11:21:43 +0300 Subject: [PATCH] Webmaster email address --- www.mk | 1 + 1 file changed, 1 insertion(+) diff --git a/www.mk b/www.mk index e61a9b3..d6e0d45 100644 --- a/www.mk +++ b/www.mk @@ -7,6 +7,7 @@ CSS != cat style.css pygost.html: *.texi rm -f pygost.html/*.html $(MAKEINFO) --html \ + --set-customization-variable EXTRA_HEAD='' \ --set-customization-variable CSS_LINES='$(CSS)' \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable USE_ACCESSKEY=0 \ -- 2.44.0