preserve more old node names


git-svn-id: svn://127.0.0.1/svn_repo/texinfo/trunk@5175 39fee189-59d7-47db-b5d4-205258b72aed
1 file changed
tree: 4d0900ab8137cfc8ca502ffa32e706e6abc0fc6a
  1. texinfo/