hevea; header changes but no content changes) - adjust distinfo, and while there also package a .css file that was missing. OK chrisz@
hevea; header changes but no content changes) - adjust distinfo, and while there also package a .css file that was missing. OK chrisz@