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}}