Permissive mode

diff --git a/spec/mk-html b/spec/mk-html
index 92a7108b0c9b83ccb26cc39c2744e24f1dfa987d73d60909208c02f751f37d68..3df0d3736da9ed409838ba9e71a816e8b1d87e343a4c004eda82f4e81de21e8c 100755 (executable)
--- 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 {} +