4 commits

Author	SHA1	Message	Date
Neil Blakey-Milner	c97832896f	If OPENJADE is defined, use the openjade replacement tools like ... 'openjade', 'onsgmls', like 'osgmlnorm'.	2000-09-28 23:34:49 +00:00
Nik Clayton	460016ce35	Fix the handling of unsupported formats (like "html-split") in doc.html.mk. ... Output a non-fatal warning for these. For unknown formats output a fatal error.	2000-07-23 16:27:58 +00:00
John Baldwin	3ac389f2d4	Don't allow html-split to be treated as a format during install. ... Admittedly, this is a hack, and the real solution is to sanitize FORMATS by removing any words that aren't in KNOWN_FORMATS. This fixes release since releases uses 'html html-split txt' for FORMATS when it compiles and installs the docs.	2000-07-19 01:46:48 +00:00
Nik Clayton	2ee393d1be	Support infrastructure for HTML documents in the doc/ tree.	2000-06-26 09:04:24 +00:00