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