diff options
| author | Nikolaus Schulz <microschulz@web.de> | 2007-11-06 23:33:33 +0000 |
|---|---|---|
| committer | Nikolaus Schulz <microschulz@web.de> | 2007-11-06 23:33:33 +0000 |
| commit | 61d0e803c6a2f49688bba9f23eaa3fc2c19a6c33 (patch) | |
| tree | 92ca6166bc7f9a7694cbb0bdc22cd4bdf67d4ce2 | |
| parent | 372b45d7b006130f6464fe373b963f8f9b905883 (diff) | |
| download | archivemail-61d0e803c6a2f49688bba9f23eaa3fc2c19a6c33.tar.gz archivemail-61d0e803c6a2f49688bba9f23eaa3fc2c19a6c33.tar.bz2 archivemail-61d0e803c6a2f49688bba9f23eaa3fc2c19a6c33.zip | |
db2html.dsl: override $refentry-body$ from dbrfntry.dsl to add a <hr> after the
refentry title <h1>.
| -rw-r--r-- | db2html.dsl | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/db2html.dsl b/db2html.dsl index f1021ea..cac5775 100644 --- a/db2html.dsl +++ b/db2html.dsl @@ -19,6 +19,21 @@ ;; Should verbatim environments be shaded? #t) +; Override $refentry-body$ from dbrfntry.dsl +; to add a hr after the refentry title h1. +(define ($refentry-body$) + (let ((id (element-id (current-node)))) + (make sequence + (make element gi: "H1" + (make sequence + (make element gi: "A" + attributes: (list (list "NAME" id)) + (empty-sosofo)) + (element-title-sosofo (current-node)))) + ; Now add hr element after h1. + (make empty-element gi: "HR") + (process-children)))) + </style-specification-body> </style-specification> <external-specification id="docbook" document="dbstyle"> |