ott-lang/ott

tex_wrap_post fails to generate complete tex document

heades opened this issue · 1 comments

Based on the manual it seems tex_wrap_post is not working correctly.

When I use it, to say, renew ottall as in:

embed
   {{tex-wrap-post \renewcommand{\GLNLall}{\GLNLgrammar\\[5.0mm]\GLNLdefnss} }}

using the ott command:

ott -tex_show_meta false -picky_multiple_parses false -i Spec.ott -o Spec.tex 

the result Spec.tex is as if tex_wrap false is applied, that is we obtain a file for including the generated tex into an existing file and not a complete tex article.

However, tex_wrap_pre does indeed work properly making things a bit confusing.

The manual gives the impression that this is a bug.

One more thing, when using tex_wrap_post we get a documentclass line at the top of the file which is expected, but it's not adding the final \begin{document}...\end{document} at the end of the file.