log man/texinfo/texinfo.texi @ 5509:9ac0016d8fe8

age author description
2011-05-09 Aidan Kehoe Backed out changeset a7da359711ce, restoring Ben's GPLv3 manual changes.
2010-02-20 Ben Wing Merge some stuff in man, fix up Makefile base man/texinfo.texi@d5187e59bc00