Fixed a couple Texinfo bugs.
1 file changed
tree: 388c18902906cf9f6da14d815660928ce805203e
  1. make.texinfo