[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


I would like to say something like


in my ConTeXt file to get


at that place in the PDF output after I run `context'.  I would
appreciate any advice on how to go about this.


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