No redo, refactor project building, simplify it

[tofuproxy.git] / doc / tofuproxy.info.do

diff --git a/doc/tofuproxy.info.do b/doc/tofuproxy.info.do
new file mode 100644 (file)
index 0000000..3df7ba8
--- /dev/null
+++ b/doc/tofuproxy.info.do
@@ -0,0 +1,7 @@
+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 ASCII_PUNCTUATION=1 \
+    --output $3 index.texi