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 <ra...@hri.res.in>, 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 : ntg-context@ntg.nl / 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 ___________________________________________________________________________________