From 59292e255d5cbdc2a46de483e820b46a0fc2b318 Mon Sep 17 00:00:00 2001 From: Dima Dorfman Date: Tue, 24 Jul 2001 11:07:59 +0000 Subject: [PATCH] Introduce a 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. --- share/sgml/freebsd.dsl | 9 ++++++++- share/sgml/freebsd41.dtd | 9 +++++++-- 2 files changed, 15 insertions(+), 3 deletions(-) diff --git a/share/sgml/freebsd.dsl b/share/sgml/freebsd.dsl index f506ff2528..3074d83116 100644 --- a/share/sgml/freebsd.dsl +++ b/share/sgml/freebsd.dsl @@ -1,4 +1,4 @@ - + @@ -132,6 +132,13 @@ (if %refentry-xref-italic% ($italic-seq$) ($charseq$))))) + + (element port + (let* ((urlurl "http://www.FreeBSD.org/cgi/url.cgi") + (href (string-append urlurl "?ports/" + (data (current-node))))) + (create-link (list (list "HREF" href)) + ($mono-seq$)))) ]]> diff --git a/share/sgml/freebsd41.dtd b/share/sgml/freebsd41.dtd index 567e7b4cef..63a7c5a9b6 100644 --- a/share/sgml/freebsd41.dtd +++ b/share/sgml/freebsd41.dtd @@ -7,7 +7,7 @@ The FPI for this DTD is "-//FreeBSD//DTD DocBook V4.1-Based Extension//EN" - $FreeBSD: doc/share/sgml/freebsd41.dtd,v 1.1 2001/02/20 19:10:26 nik Exp $ + $FreeBSD: doc/share/sgml/freebsd41.dtd,v 1.2 2001/05/22 03:32:17 dd Exp $ --> @@ -26,7 +26,7 @@ - + @@ -116,6 +116,11 @@ %common.attrib; > + + +