I've found a minor problem in the script that converts man pages into
html. The current script produces two incorrect links on every html man
page. Patch from Rod Schultz, Bull.