K 10
svn:author
V 3
wen
K 8
svn:date
V 27
2012-12-05T08:17:44.506219Z
K 7
svn:log
V 99
- Convert !defined(WITHOUT_MIMETEX) to ${PORT_OPTIONS:MIMETEX}

Thanks to:	jgh@

Feature safe:	yes

END