K 10 svn:author V 7 jfieber K 8 svn:date V 27 1995-06-30T15:19:12.000000Z K 7 svn:log V 360 New feature: a -links option, when generating html output, creates symbolic links for each cross reference label in the source file, thus allowing external documents to link to a more or less fixed target, rather that the numbered files which can change whenever the target document is modified. Bug fix: warn when a reference is made to a nonexistant label. END