]> Cypherpunks.ru repositories - goredo.git/commitdiff
Texinfo 6.8 compatibility
authorSergey Matveev <stargrave@stargrave.org>
Thu, 8 Jul 2021 17:57:40 +0000 (20:57 +0300)
committerSergey Matveev <stargrave@stargrave.org>
Thu, 15 Jul 2021 11:17:26 +0000 (14:17 +0300)
doc/goredo.info.do
doc/index.texi
doc/www.do [new file with mode: 0644]

index a926349a70edd78d002a6337d3424323266e246e..469a47bc1fd5dfec33279cb4ac3dd6228fc17c5a 100644 (file)
@@ -1,6 +1,8 @@
 redo-ifchange *.texi ../VERSION
 ${MAKEINFO:-makeinfo} \
     -D "VERSION `cat ../VERSION`" \
+    --set-customization-variable SECTION_NAME_IN_TITLE=1 \
+    --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
     --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
     --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
     --output $3 index.texi
index 131c3012bdd4687361e64ce170baaf3ac62fb5dd..2a81af48ba3ab5b124c544f42861d0432d7d9284 100644 (file)
@@ -7,7 +7,7 @@ Copyright @copyright{} 2020-2021 @email{stargrave@@stargrave.org, Sergey Matveev
 @end copying
 
 @node Top
-@top
+@top goredo
 
 Go implementation of @url{http://cr.yp.to/redo.html, djb's redo},
 Makefile replacement that @url{https://suckless.org/philosophy/, sucks less}.
diff --git a/doc/www.do b/doc/www.do
new file mode 100644 (file)
index 0000000..ca97c6c
--- /dev/null
@@ -0,0 +1,17 @@
+redo-ifchange *.texi ../VERSION
+html=goredo.html
+rm -f $html/*.html
+${MAKEINFO:=makeinfo} --html \
+    -D "VERSION `cat ../VERSION`" \
+    --css-include style.css \
+    --set-customization-variable SECTION_NAME_IN_TITLE=1 \
+    --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus \
+    --set-customization-variable FORMAT_MENU=menu \
+    --set-customization-variable SHOW_TITLE=0 \
+    --set-customization-variable DATE_IN_HEADER=1 \
+    --set-customization-variable TOP_NODE_UP_URL=index.html \
+    --set-customization-variable CLOSE_QUOTE_SYMBOL=\" \
+    --set-customization-variable OPEN_QUOTE_SYMBOL=\" \
+    -o $html index.texi
+find $html -type d -exec chmod 755 {} \;
+find $html -type f -exec chmod 644 {} \;