From e4c51978b55e5af3ac8749704d95e4f6e155b113 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Tue, 2 Mar 2021 17:19:31 +0300 Subject: [PATCH] =?utf8?q?=D0=91=D0=BE=D0=BB=D0=B5=D0=B5=20=D0=BF=D1=80?= =?utf8?q?=D0=BE=D1=81=D1=82=D0=BE=D0=B5=20=D0=B2=D0=BA=D0=BB=D1=8E=D1=87?= =?utf8?q?=D0=B5=D0=BD=D0=B8=D0=B5=20CSS?= MIME-Version: 1.0 Content-Type: text/plain; charset=utf8 Content-Transfer-Encoding: 8bit --- all.do | 2 +- style.css | 2 -- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/all.do b/all.do index 887088a..8a9c2d5 100644 --- a/all.do +++ b/all.do @@ -1,8 +1,8 @@ html=gost.html rm -f $html/*.html ${MAKEINFO:-makeinfo} --html \ + --css-include style.css \ --set-customization-variable EXTRA_HEAD='' \ - --set-customization-variable CSS_LINES="`cat style.css`" \ --set-customization-variable SHOW_TITLE=0 \ --set-customization-variable DATE_IN_HEADER=1 \ --set-customization-variable TOP_NODE_UP_URL=index.html \ diff --git a/style.css b/style.css index 17f3b71..0d2e65b 100644 --- a/style.css +++ b/style.css @@ -1,4 +1,3 @@ - -- 2.44.0