Murray Stokely abaf57a792 Allow NICE_HEADERS to be used in the GEN_INDEX case. ... NICE_HEADERS is a set of print-only enhancements, however the HTML backend is invoked whenever an index is generated, so we should not touch JADEOPTS directly and should instead modify the .tex-ps target directly.		2001-07-21 03:44:27 +00:00
..
doc.docbook.mk	Allow NICE_HEADERS to be used in the GEN_INDEX case.	2001-07-21 03:44:27 +00:00
doc.html.mk	If running on the Alpha, use OpenJade.	2001-03-22 22:49:01 +00:00
doc.images.mk	Use peps instead of eps2png.	2001-07-13 12:09:59 +00:00
doc.install.mk	Typo fixes	1999-10-13 00:42:21 +00:00
doc.project.mk	ISO_* -> ISO* rename	2001-06-11 01:20:40 +00:00
doc.subdir.mk	Bump the number of directories traversed to find LANGCODE to 10. This	2001-05-22 03:18:38 +00:00