Mercurial > pub > dyncall > dyncall
changeset 82:186af66ae67f
- html doc todo note
author | cslag |
---|---|
date | Thu, 24 Mar 2016 23:53:03 +0100 |
parents | c40e9fcccc41 |
children | 54930a037e8a |
files | doc/manual/manual_tex4ht.cfg |
diffstat | 1 files changed, 1 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- a/doc/manual/manual_tex4ht.cfg Thu Mar 24 22:55:53 2016 +0100 +++ b/doc/manual/manual_tex4ht.cfg Thu Mar 24 23:53:03 2016 +0100 @@ -42,6 +42,7 @@ \Configure{TITLE+}{Index} % Clear default header, define our custom one. Using @HEAD will make this be used on all pages generated. +% @@@Ideally, this wouldn't be a copy&paste of the website's header, here. Such thing should be done in the website build, and this here a generic header (however, style is kinda needed). \Configure{@HEAD}{} \Configure{@HEAD}{\HCode{<meta http-equiv="content-type" content="text/html; charset=utf-8"/>\Hnewline}} \Configure{@HEAD}{\HCode{<meta name="resource-type" content="document"/>\Hnewline}}