redo-ifchange docstringer.log
cd build
MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable SECTION_NAME_IN_TITLE=1"
MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable TREE_TRANSFORMATIONS=complete_tree_nodes_menus"
MAKEINFO_OPTS="$MAKEINFO_OPTS --set-customization-variable ASCII_PUNCTUATION=1"
makeinfo $MAKEINFO_OPTS --output ../$3 index.texi
