Убрать не имеющую смысла redo цель

diff --git a/all.do b/www
old mode 100644 (file)
new mode 100755 (executable)
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 \