# This is script to tidy up the Texinfo file that docbook2texi produces. We
# have to change "conceptindex" and "optionindex" to "cindex" and "findex", and
# we also have to add access to the index into the menus and a final node.
# This is script to tidy up the Texinfo file that docbook2texi produces. We
# have to change "conceptindex" and "optionindex" to "cindex" and "findex", and
# we also have to add access to the index into the menus and a final node.