K 10
svn:author
V 3
nik
K 8
svn:date
V 27
2000-09-25T08:17:03.000000Z
K 7
svn:log
V 288
Add ${DSSSLCATALOG} and ${JADECATALOG} to the list of catalogs the lint:
target uses -- this ensures that any options (such as "OMITTAG NO") that
are used when building the docs are also used when linting them, so that
errors don't slip through the cracks.

Prompted by r1.93 of the FAQ.

END