[NTG-context] Including part of a program source file

N. Raghavendra nyraghu27132 at gmail.com
Sat Apr 21 16:00:53 CEST 2018


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 <raghu at hri.res.in>, http://www.retrotexts.net/
Harish-Chandra Research Institute, http://www.hri.res.in/


More information about the ntg-context mailing list