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
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 <raghu@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
___________________________________________________________________________________