26 Aug
2011
26 Aug
'11
3:47 a.m.
On Thu, 25 Aug 2011, Aditya Mahajan wrote:
What is the right command for changing the name of the exported tags. Using
\setuptaglabeltext[sectiontitle={h1}]
does not work. Using
\def\t!sectiontitle{h1}
works, but surely, that can't be the way to go.
The attached patch fixes this, but I am not sure if that is the best fix. Aditya