Patch from RDB: rename ISO-8859-12 to -13, add ISO-8859-16, and
[u/mdw/putty] / doc / trouble.but
2001-01-17 simonInitial checkin of an outline for the PuTTY user manual.