Dima Dorfman 59292e255d Introduce a <port> element that answers the question of how to mark up ... a port name. Right now, it renders as monospace, and with a hyperlink to the port's pkg-descr file if possible.		2001-07-24 11:07:59 +00:00
..
examples	Add two scripts that manipulate man-refs.ent. add-manref.sh inserts a	2001-07-24 10:56:11 +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	Introduce a <port> element that answers the question of how to mark up	2001-07-24 11:07: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