26463c Update Backends/Texinfo/texinfo_updateMenu.sh. Start using texinfo_getNode@3017.

Authored and Committed by areguera 13 years ago
    Update Backends/Texinfo/texinfo_updateMenu.sh. Start using texinfo_getNode@3017.