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
..
examples/vim	Sample .vimrc and associated files for editing FDP documentation, and	1999-11-15 19:41:09 +00:00
misc	Be a little more conservative with the line height to try and placate those	2001-07-11 12:46:50 +00:00
mk	Allow NICE_HEADERS to be used in the GEN_INDEX case.	2001-07-21 03:44:27 +00:00
sgml	Wrap author attributions in <sect1info> and <sect2info> as	2001-07-21 02:29:59 +00:00
web2c	Preamble for the .tex files that will be converted to PDF to get them to	2000-11-07 10:23:41 +00:00