From fc3b1097ad8bcaa02d4f55c5d8d28647b8a3c7bf Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Wed, 4 Sep 2019 10:39:49 +0300 Subject: [PATCH] webmaster's email address --- doc/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/Makefile b/doc/Makefile index 239750c..cff7ec4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,6 +13,7 @@ CSS != cat style.css govpn.html: *.texi handshake.utxt rm -f govpn.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