Turned on the generation of the HTML.manifest file (this used to be on
by default, looks like the default's changed with version 1.30 of the stylesheets).
This commit is contained in:
parent
dea91828e7
commit
7c9a8531bc
Notes:
svn2git
2020-12-08 03:00:23 +00:00
svn path=/head/; revision=4011
1 changed files with 4 additions and 0 deletions
|
@ -41,6 +41,10 @@
|
||||||
;; Name for the root HTML document
|
;; Name for the root HTML document
|
||||||
"index")
|
"index")
|
||||||
|
|
||||||
|
(define html-manifest
|
||||||
|
;; Write a manifest?
|
||||||
|
#t)
|
||||||
|
|
||||||
<!-- This replaces the existing mechanism for showing verbatim
|
<!-- This replaces the existing mechanism for showing verbatim
|
||||||
blocks of text (programlistings, screens, and so forth.
|
blocks of text (programlistings, screens, and so forth.
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue