I am writing some notes using ConTeXt, which involves displaying parts
of some program source files. At present, I am manually cutting and
pasting the parts into the ConTeXt file. Is it possible to make ConTeXt
do that for me? I am thinking of including each part of the Coq sources
between tags like this:
------------------------------------------------------------
$ cat src-file
<tag-1>
part_to_be_included_1
</tag-2>
<tag-2>
part_to_be_included_2
</tag-2>
------------------------------------------------------------
I would like to say something like
\IncludePart{src-file}{tag-1}
in my ConTeXt file to get
part_to_be_included_1
at that place in the PDF output after I run `context'. I would
appreciate any advice on how to go about this.
Thanks,
Raghu.
--
N. Raghavendra <[email protected]>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/
___________________________________________________________________________________
If your question is of interest to others as well, please add an entry to the
Wiki!
maillist : [email protected] / http://www.ntg.nl/mailman/listinfo/ntg-context
webpage : http://www.pragma-ade.nl / http://context.aanhet.net
archive : https://bitbucket.org/phg/context-mirror/commits/
wiki : http://contextgarden.net
___________________________________________________________________________________
