Merge branch 'develop'

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

diff --git a/doc/nncp.info.do b/doc/nncp.info.do
index 0b2834dac1af0bc80245ce576d76489d616dc43c..8d607611489b74af21cfa21e031c12c3afca47ed 100644 (file)
--- a/doc/nncp.info.do
+++ b/doc/nncp.info.do
@@ -4,13 +4,18 @@ redo-ifchange \
     *.texi \
     cfg/*.texi \
     cmd/*.texi \
+    integration/*.texi \
+    pedro.txt \
     pkt/*.texi \
     sp.plantuml.txt \
-    pedro.txt
+    usecases.ru/*.texi \
+    usecases/*.texi
 . ../config
 ${MAKEINFO:-makeinfo} \
     -D "VERSION `cat ../VERSION`" \
     $MAKEINFO_OPTS \
+    --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