texmacs-users - Q: HOWTO get an HTML <title> without added Gnus?

Subject: mailing-list for TeXmacs Users

List archive

Q: HOWTO get an HTML <title> without added Gnus?

From: Jeremy Henty <address@hidden>
To: TeXmacs users <address@hidden>
Subject: Q: HOWTO get an HTML <title> without added Gnus?
Date: Sun, 8 Jul 2007 16:11:21 +0100

I'd like to convert TeXmacs -> HTML and have a proper HTML <title> in
the <head> of the output. So far the only solution I have found is to
hack a <tmdoc-title> into the source, but that also inserts a banner
(Gnus and all) into the <body>, which I don't want.

Digging into the source it looks as though tmhtml-find-title (defined
in src/TeXmacs/progs/convert/html/tmhtml.scm is hardwired to respect
tmdoc-title (and some relatives) and otherwise generates no title. Is
there a way around this without hacking the source?

Regards,

Jeremy Henty

Q: HOWTO get an HTML <title> without added Gnus?, Jeremy Henty, 07/08/2007

List archive

Q: HOWTO get an HTML <title> without added Gnus?