From befe84b63ee87588a34073bec1f5f2dc1e48fdb6 Mon Sep 17 00:00:00 2001
From: Sergey Matveev <stargrave@stargrave.org>
Date: Thu, 18 Jul 2024 16:26:11 +0300
Subject: [PATCH] =?utf8?q?=D0=A3=D0=B1=D1=80=D0=B0=D1=82=D1=8C=20=D0=BD?=
 =?utf8?q?=D0=B5=20=D0=B8=D0=BC=D0=B5=D1=8E=D1=89=D1=83=D1=8E=20=D1=81?=
 =?utf8?q?=D0=BC=D1=8B=D1=81=D0=BB=D0=B0=20redo=20=D1=86=D0=B5=D0=BB=D1=8C?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 all.do => www | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
 rename all.do => www (90%)
 mode change 100644 => 100755

diff --git a/all.do b/www
old mode 100644
new mode 100755
similarity index 90%
rename from all.do
rename to www
index e81e653..e3bd1fe
--- a/all.do
+++ b/www
@@ -1,7 +1,9 @@
+#!/bin/sh -e
+
 html=gost.html
 rm -f $html/*.html
 ${MAKEINFO:-makeinfo} --html \
-    --css-include style.css \
+    --set-customization-variable NO_CSS=1 \
     --set-customization-variable SECTION_NAME_IN_TITLE=1 \
     --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
     --set-customization-variable FORMAT_MENU=menu \
-- 
2.48.1