mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-06-04 10:50:29 -05:00

which is only included if you explicitly tell the docs Makefile to do so. Also make it a relative reference, while we're at it. [originally from svn r3524]