Does CZT support latex include files?
My latex Z specs are kept in different files and included with /input{} into the main document. Z/eves had no problems to traverse all included files, but CZT parses just one file, not going into the others.
Thanks,
Dmitriy
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
No CZT does not support include files but it does use the section mechanism to parse and typecheck parent sections. That is, if you declare section foo in foo.tex and section bar in bar.tex with parent foo, CZT parses foo.tex as well as bar.tex if asked to parse bar.tex since bar depends on foo.
Cheers,
Petra
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Hi,
Does CZT support latex include files?
My latex Z specs are kept in different files and included with /input{} into the main document. Z/eves had no problems to traverse all included files, but CZT parses just one file, not going into the others.
Thanks,
Dmitriy
Hi Dmitriy,
No CZT does not support include files but it does use the section mechanism to parse and typecheck parent sections. That is, if you declare section foo in foo.tex and section bar in bar.tex with parent foo, CZT parses foo.tex as well as bar.tex if asked to parse bar.tex since bar depends on foo.
Cheers,
Petra