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