summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNik Clayton <nik@FreeBSD.org>1998-11-04 22:41:50 +0000
committerNik Clayton <nik@FreeBSD.org>1998-11-04 22:41:50 +0000
commitc8fc15ab23366fc890cdc9d88e6cd320a7e5ea5a (patch)
tree7cd27e9f48eb32766d6ead21244904f7c346f331
parent97d01a35671c4adcf7846825ffc40223128bb699 (diff)
Notes
-rw-r--r--sgml/freebsd.dsl35
1 files changed, 33 insertions, 2 deletions
diff --git a/sgml/freebsd.dsl b/sgml/freebsd.dsl
index fbf8fdef19..fd01b89c0d 100644
--- a/sgml/freebsd.dsl
+++ b/sgml/freebsd.dsl
@@ -10,7 +10,7 @@
(define %gentext-nav-use-tables%
;; Use tables to build the navigation headers and footers?
- #f)
+ #t)
(define %html-ext%
;; Default extension for HTML output files
@@ -18,11 +18,15 @@
(define %shade-verbatim%
;; Should verbatim environments be shaded?
- #t)
+ #f)
(define %use-id-as-filename%
;; Use ID attributes as name for component HTML files?
#t)
+
+ (define %root-filename%
+ ;; Name for the root HTML document
+ "index")
<!-- Slightly deeper customisations -->
@@ -64,6 +68,33 @@
<!-- FAQList can wait. I've been drinking, and a brief glance at
/usr/local/share/sgml/docbook/dsssl/modular/html/dblist.dsl is
enough to bring me out in cold, Lisp induced sweats. . . -->
+
+ <!-- This replaces the existing mechanism for showing verbatim
+ blocks of text (programlistings, screens, and so forth.
+
+ Norm's stylesheet renders these in a table, with optional
+ shading if %shade-verbatim% is set. Previous practice for
+ the LinuxDoc DTD (and John Fieber's stylesheet) was to
+ indent them using <blockquote>. Stick with previous practice.
+
+ Norm says he will introduce a tweakable knob to affect this
+ in the future. -->
+(define ($verbatim-display$ line-numbers?)
+ (let ((content (make element gi: "BLOCKQUOTE"
+ attributes: (list
+ (list "CLASS" (gi)))
+ (make element gi: "PRE"
+ (if line-numbers?
+ ($verbatim-content-with-linenumbers$)
+ ($verbatim-content$))))))
+ (if %shade-verbatim%
+ (make element gi: "TABLE"
+ attributes: ($shade-verbatim-attr$)
+ (make element gi: "TR"
+ (make element gi: "TD"
+ content)))
+ content)))
+
</style-specification-body>
</style-specification>