From 2889642a1785e852574b476d92bccaaaf70149db Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Thu, 3 Aug 2023 16:05:37 +0300 Subject: [PATCH] No CSS --- doc/nncp.html.do | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/nncp.html.do b/doc/nncp.html.do index 6e18fee..48f1187 100644 --- a/doc/nncp.html.do +++ b/doc/nncp.html.do @@ -1,6 +1,7 @@ redo-ifchange makeinfo.rc rm -fr nncp.html -MAKEINFO_OPTS="$MAKEINFO_OPTS --html --css-include style.css" +MAKEINFO_OPTS="$MAKEINFO_OPTS --html" +MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable NO_CSS=1" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable FORMAT_MENU=menu" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable DATE_IN_HEADER=1" MAKEINFO_OPTS="$MAKEINFO_OPTS" . makeinfo.rc -- 2.44.0