Merge pull request #36 from ktdreyer/heimdal-1-5-branch-texinfo51