25 Aug
2011
25 Aug
'11
7:47 p.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