From 14f590df435186aef5e829eccb454d49694dcdcca9eebb282b42b650b53b2cb3 Mon Sep 17 00:00:00 2001 From: Sergey Matveev Date: Wed, 7 May 2025 12:48:26 +0300 Subject: [PATCH] Permissive mode --- spec/mk-html | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/spec/mk-html b/spec/mk-html index 92a7108..3df0d37 100755 --- a/spec/mk-html +++ b/spec/mk-html @@ -1,5 +1,6 @@ #!/bin/sh -e +html=spec.html makeinfo --html \ --set-customization-variable SECTION_NAME_IN_TITLE=1 \ --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \ @@ -7,4 +8,6 @@ makeinfo --html \ --set-customization-variable NO_CSS=1 \ --set-customization-variable FORMAT_MENU=menu \ --set-customization-variable DATE_IN_HEADER=1 \ - --output spec.html index.texi + --output $html index.texi +find $html -type d -exec chmod 755 {} + +find $html -type f -exec chmod 644 {} + -- 2.50.0