574995
Update `texinfo_updateSectionNodes.sh': - When building section nodes, be sure that only the first cindex definition be updated. This way, section indices defined by users will survive a section node actualization.