]> (define %gentext-nav-use-tables% ;; Use tables to build the navigation headers and footers? #f) (define %html-ext% ;; Default extension for HTML output files ".html") (define %shade-verbatim% ;; Should verbatim environments be shaded? #t) (define %use-id-as-filename% ;; Use ID attributes as name for component HTML files? #t) (element sgmltag ($mono-seq$ (make sequence (literal "<") (process-children) (literal ">")))) (element command ($mono-seq$)) (element application ($bold-seq$)) (element hostid ($mono-seq$)) (element username ($mono-seq$)) (element devicename ($mono-seq$)) (element maketarget ($mono-seq$)) (element makevar ($mono-seq$))