Revised lib1.texi target to deal with some conversion nastiness.  See comment.
1 file changed