Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

tex_wrap_post fails to generate complete tex document #73

Open
heades opened this issue Nov 24, 2020 · 1 comment
Open

tex_wrap_post fails to generate complete tex document #73

heades opened this issue Nov 24, 2020 · 1 comment

Comments

@heades
Copy link

heades commented Nov 24, 2020

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.

@heades heades changed the title tex_wrap_post fails to generate complete tex document tex_wrap_post fails to generate complete tex document Nov 24, 2020
@heades
Copy link
Author

heades commented Nov 24, 2020

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant