dragonfly.git
2011-05-01 John MarinoUpgrade Texinfo from 4.8 to 4.13 on the vendor branch origin/vendor/TEXINFO
2011-05-01 John MarinoRename texinfo-4 directory to "texinfo" in vendor branch
2005-08-28 Jeroen Ruigrok/asmodaifdl.texi is needed.
2005-08-28 Jeroen Ruigrok/asmodaiAdd texinfo 4.8, appropriately stripped down.