From 278cc5b835c443e88baed02afb085b6e03cf3c1d Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Sun, 28 Feb 2021 11:33:59 +0300 Subject: [PATCH] Include CSS through --css-include for simplicity --- doc/nncp.html.do | 2 +- doc/nncp.info.do | 1 - doc/style.css | 2 -- 3 files changed, 1 insertion(+), 4 deletions(-) diff --git a/doc/nncp.html.do b/doc/nncp.html.do index 3295cdd..17b042b 100644 --- a/doc/nncp.html.do +++ b/doc/nncp.html.do @@ -1,5 +1,5 @@ rm -fr nncp.html -MAKEINFO_OPTS="$MAKEINFO_OPTS --html" +MAKEINFO_OPTS="$MAKEINFO_OPTS --html --css-include style.css" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable SHOW_TITLE=0" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable DATE_IN_HEADER=1" MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable TOP_NODE_UP_URL=index.html" diff --git a/doc/nncp.info.do b/doc/nncp.info.do index 6b0c858..6eb4e48 100644 --- a/doc/nncp.info.do +++ b/doc/nncp.info.do @@ -5,5 +5,4 @@ ${MAKEINFO:-makeinfo} \ $MAKEINFO_OPTS \ --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \ --set-customization-variable OPEN_QUOTE_SYMBOL=\" \ - --set-customization-variable CSS_LINES="`cat style.css`" \ --output $3 index.texi diff --git a/doc/style.css b/doc/style.css index 17f3b71..0d2e65b 100644 --- a/doc/style.css +++ b/doc/style.css @@ -1,4 +1,3 @@ - -- 2.48.1