K 10
svn:author
V 5
wosch
K 8
svn:date
V 27
1997-10-12T18:54:34.000000Z
K 7
svn:log
V 83
Support output format html.
Add make variables INFO2HTML, TEX, DVIPS, DVIPS2ASCII.

END