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

The verbatim commands have a range key which let you select parts of the code, you can use line numbers to include a small block (e.g. range={3,10} or range {3,+7}) or you put labels in your code. \startbuffer % cmd:one:begin \define\FirstCommand {\dosingleempty\doFirstCommand} \def\doFirstCommand[#1]% {This is the definition for the first command} % cmd:one:end % cmd:two:begin \define\SecondCommand {\dosingleempty\doSecondCommand} \def\doSecondCommand[#1]% {This is the definition for the second command} % cmd:two:end \stopbuffer \starttext \typebuffer[range={cmd:two:begin,cmd:two:end}] \stoptext Wolfgang

N. Raghavendra mailto:nyraghu27132@gmail.com 21. April 2018 um 16:00 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 , 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 ___________________________________________________________________________________