From 7adf85cd9e30564ed045fcca4fcf9d25bbd31356 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Fri, 20 Dec 2019 11:27:18 +0300 Subject: [PATCH] Shorter webmaster's address --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index 205c2b4..c3af5d4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -13,7 +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 EXTRA_HEAD='' \ --set-customization-variable CSS_LINES='$(CSS)' \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable USE_ACCESSKEY=0 \ -- 2.48.1