and the line with the unregister.sh script down to the bottom of
the plist. Silences all the blurb about ".../*.haddock doesn't exist
or isn't a file."
currently has five output formats: ANSI terminal codes, HTML 3.2
with <font> tags, HTML 4.01 with CSS, LaTeX, and mIRC chat client
codes.
ok giovanni@ (who spotted an empty and obsolete include dir in the PLIST),
okan@ (who don't get the $V cleanup now -- sorry),
sthen@ ("I'm all for having more ports where the word colour is spelt correctly)
