changes from Alessandro Scotti from 20060129
[xboard.git] / texi2man
2003-11-28 Tim MannFinal changes for 4.2.7. Corrected the previous fix... v4.2.7
2003-11-28 Tim MannBug fix for 4.2.7
2003-11-17 Tim MannTool to generate man page from texinfo file.