newverbs (25jul11)

git-svn-id: svn://tug.org/texlive/trunk@23220 c570f23f-e606-0410-a88d-b1316a301751

5 files changed, 450 insertions, 53 deletions

diff --git a/Master/texmf-dist/doc/latex/newverbs/README b/Master/texmf-dist/doc/latex/newverbs/README
index e7ffaa68a0a..bfa77e2171e 100644
--- a/Master/texmf-dist/doc/latex/newverbs/README
+++ b/Master/texmf-dist/doc/latex/newverbs/README
@@ -1,11 +1,20 @@
 The 'newverbs' LaTeX package
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+Copyright (c) 2010-2011 by Martin Scharrer <martin@scharrer-online.de>
+WWW: http://latex.scharrer-online.de/
+Code repository: https://bitbucket.org/martin_scharrer/newverbs
 
 This package allows the definition of \verb variants which add TeX code before
 and after the verbatim text (e.g. quotes or \fbox{}).  When used together with
 the 'shortvrb' package it allows the definition of short verbatim characters
 which use this variants instead of the normal \verb.
 
-Copyright (c) 2010-2011 by Martin Scharrer <martin@scharrer-online.de>
-WWW: http://latex.scharrer-online.de/
+Another feature is provided using the macros `\collectverb` and `\Collectverb`
+which allow other macros to collect an argument verbatim to either typeset or
+write it into an auxiliary file, respectively.
+A `\Verbdef` macro is provided to define verbatim text to a macro which can be 
+used for writing the text to auxiliary files.
+This differs from the `\verbdef` macro from the `verbdef` package which define
+macros with a typesetable version of the verbatim text which cannot be written
+to auxiliary files.
 
diff --git a/Master/texmf-dist/doc/latex/newverbs/newverbs.pdf b/Master/texmf-dist/doc/latex/newverbs/newverbs.pdf
index 15d19550b2f..4f8aa63450e 100644
--- a/Master/texmf-dist/doc/latex/newverbs/newverbs.pdf
+++ b/Master/texmf-dist/doc/latex/newverbs/newverbs.pdf
diff --git a/Master/texmf-dist/source/latex/newverbs/newverbs.dtx b/Master/texmf-dist/source/latex/newverbs/newverbs.dtx
index 3308c33784b..51aebe266d8 100644
--- a/Master/texmf-dist/source/latex/newverbs/newverbs.dtx
+++ b/Master/texmf-dist/source/latex/newverbs/newverbs.dtx
@@ -20,26 +20,21 @@
 %</copyright>
 %<*!copyright>
 %
-%% $Id: newverbs.dtx 2161 2011-02-16 16:19:38Z martin $
+%% $Id: newverbs.dtx 2529 2011-07-24 01:15:30Z martin $
 %
 %<*driver>
 \ProvidesFile{newverbs.dtx}
 %</driver>
 %<package>\ProvidesPackage{newverbs}
 %<*package|driver>
-  [2011/02/16 v1.2 Define new 'verb' commands and short verb. characters]
+  [2011/07/24 v1.3 Define new 'verb' commands and short verb. characters]
 %</package|driver>
 %
 %<*driver>
 \documentclass{ydoc}
-\usepackage{hyperref}
-\usepackage{xcolor}
-
 \GetFileInfo{newverbs.dtx}
 \usepackage{newverbs}[\filedate]
-\usepackage{shortvrb}
 
-\MakeSpecialShortVerb{\qverb}{\"}
 %\EnableCrossrefs
 %\CodelineIndex
 %\RecordChanges
@@ -51,7 +46,7 @@
 %</driver>
 % \fi
 %
-% \CheckSum{131}\relax
+% \CheckSum{245}\relax
 %
 % \CharacterTable
 %  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
@@ -73,15 +68,16 @@
 % \changes{v1.0}{2010/04/05}{Initial version}
 % \changes{v1.1}{2010/04/13}{Added usage of 'csquotes' macros if loaded.}
 % \changes{v1.2}{2011/02/16}{Added support for 'tabularx' environments.}
+% \changes{v1.2a}{2011/03/19}{Removed spurious spaces.}
+% \changes{v1.3}{2011/07/24}{Added macros to collect verbatim arguments.}
 %
 % \DoNotIndex{\newcommand,\newenvironment,\providecommand}
 %
 % \GetFileInfo{newverbs.dtx}
-% \title{The \textsf{newverbs} package}
-% \author{Martin Scharrer \\ \texttt{martin@scharrer-online.de}}
-% \date{\fileversion\ from \filedate}
-%
+% \author{Martin Scharrer}
+% \email{martin@scharrer-online.de}
 % \maketitle
+%
 % \begin{abstract}
 % This package allows the definition of \cs{verb} variants which add \TeX\ code before and after the verbatim text.
 % When used together with the \pkg{shortvrb} package it allows the definition of short verbatim characters which use this variants
@@ -130,6 +126,7 @@
 %
 % \subsection{Using \cs{verb} variants with short verbatim character}
 %
+% \DescribeMacro\MakeSpecialShortVerb {<\textbackslash macro>}{\textbackslash\meta{char}}
 % \DescribeMacro\MakeSpecialShortVerb*{<\textbackslash macro>}{\textbackslash\meta{char}}
 % This package also defines a special version of the \cs{MakeShortVerb} macro from the \pkg{shortvrb} package.
 % The orignal command \Macro\MakeShortVerb*{\textbackslash\meta{char}} changes the meaning of \meta{char} so that 
@@ -150,6 +147,42 @@
 % |\DeleteShortVerb{\"}\MakeSpecialShortVerb{\fverb}{\"}| will change it definition to use \cs{fverb}: \fverb+$^&$+.
 %
 %
+% \DescribeMacro\collectverb{<code>}<char><verbatim material><char>
+% \DescribeMacro\collectverb*{<code>}<char><verbatim material><char>
+% \DescribeMacro\collectverb{<code>}{<verbatim material>}
+% \DescribeMacro\collectverb*{<code>}{<verbatim material>}
+% This macro is supposed to be used with its \marg{code} argument at the end of user or package macro which want to typeset verbatim material.
+% It will collect everything between the following \meta{char} and its next occurrence as verbatim material.
+% An exception is if the following \meta{char} is `|{|', then `|}|' is taken as the end \meta{char} to simulate a normal argument to increase user friendliness.
+% Afterwards \meta{code} is expanded with \marg{verbatim material} direct behind it. The macro ensures proper font settings to typeset the verbatim material.
+% For this, a group is opened before the material is collected and closed directly after the given code is processed. ^^A \MacroArgs<code>{<verbatim material>}\AlsoMacro\endgroup.
+% Therefore all changes done by the \meta{code} are local and the material should be typeset directly.
+% (In special cases when the group is disruptive, \meta{code} can be a macro which reads both the verbatim material and the \Macro\endgroup as two arguments.
+% However, then special care must be taken to use the correct font and some of the special characters may be active but have lost their definition.)
+% The starred version will make spaces appear as `\collectverb*{}: :' instead of displaying them as normal spaces.
+%
+%
+% \DescribeMacro\Collectverb{<code>}<char><verbatim material><char>
+% \DescribeMacro\Collectverb*{<code>}<char><verbatim material><char>
+% \DescribeMacro\Collectverb{<code>}{<verbatim material>}
+% \DescribeMacro\Collectverb*{<code>}{<verbatim material>}
+% This macro is supposed to be used with its \marg{code} argument at the end of user or package macro which want to collect plain verbatim material suitable to be 
+% written in auxiliary files or log messages.
+% It will collect everything between the following \meta{char} and its next occurrence as verbatim material without adjusting the font or defining any characters in a special way (besides being verbatim).
+% The starred version will make spaces appear as `\Collectverb*{}: :' when typeset but still be written to auxiliary files as normal spaces.
+% An exception is if the following \meta{char} is `|{|', then `|}|' is taken as the end \meta{char} to simulate a normal argument to increase user friendliness.
+% Afterwards \meta{code} is expanded with \marg{verbatim material} direct behind it. This macro does not add any group around the code.
+% Should the code be typeset after all a proper font (e.g.\ \Macro\ttfamily or \Macro\verbatim@font) must be enabled manually.
+%
+% \DescribeMacro\Verbdef<\textbackslash macro><char><verbatim material><char>
+% \DescribeMacro\Verbdef*<\textbackslash macro><char><verbatim material><char>
+% \DescribeMacro\Verbdef<\textbackslash macro>{<verbatim material>}
+% \DescribeMacro\Verbdef*<\textbackslash macro>{<verbatim material>}
+% This macro uses \Macro\Collectverb internally to define \meta{\textbackslash macro} as the plain \meta{verbatim material}.
+% This can be used to define macros for special characters, so these can be used in error or warning messages or be written into auxiliary files.
+% A corresponding \Macro\verbdef macro which defines macros with typesetable verbatim material is already provided by the \pkg{verbdef} package.
+%
+%
 % \section{Compatibility with other verbatim packages}
 % The compatibility with other verbatim packages is not tested yet. This package relies on the normal internal definition of \cs{verb}
 % and \cs{MakeShortVerb}. Any package which changes these might break this package.
@@ -163,6 +196,9 @@
 % \iffalse
 %<*package>
 % \fi
+%    \begin{macrocode}
+\ProvidesPackage{newverbs}[2011/02/16 v1.2 Define new 'verb' commands and short verb. characters]
+%    \end{macrocode}
 %
 % \subsection{Verb Definition Commands}
 %
@@ -188,7 +224,7 @@
     \begingroup
     \newverbcommand@settings
     \def\verb@egroup{\verb@orig@egroup#4\endgroup}%
-    \def\newverbs@txend{#4\endgroup}
+    \def\newverbs@txend{#4\endgroup}%
     #3\verb
   }%
 }
@@ -204,12 +240,12 @@
 \def\newverbs@tabularxsupport{%
     \begingroup
     \def\orig@TX@vb##1{\def\@tempa####1##1{\toks@{####1}\edef\@tempa{\the\toks@}%
-        \expandafter\TX@v\meaning\@tempa\\ \\\ifnum0=`{\fi}}\@tempa!}
+        \expandafter\TX@v\meaning\@tempa\\\\\ifnum0=`{\fi}}\@tempa!}%
     \ifx\TX@vb\orig@TX@vb
         \endgroup
         \PackageInfo{newverbs}{Patching 'TX@vb' macro of the 'tabularx' package.}%
         \def\TX@vb##1{\def\@tempa####1##1{\toks@{####1}\edef\@tempa{\the\toks@}%
-            \expandafter\TX@v\meaning\@tempa\\ \\\ifnum0=`{\fi}\newverbs@txend}\@tempa!}
+            \expandafter\TX@v\meaning\@tempa\\\\\ifnum0=`{\fi}\newverbs@txend}\@tempa!}%
     \else
         \endgroup
         \PackageWarning{newverbs}{Couldn't patch 'TX@vb' macro of the 'tabularx' package. Definition unknown.}%
@@ -293,6 +329,158 @@
 %    \end{macrocode}
 % \end{macro}
 %
+%
+% \subsection{Collect verbatim argument}
+%
+% \begin{macro}{\collectverb}
+% Collects verbatim text which can be typeset.
+% Checks for an existing star.
+%    \begin{macrocode}
+\newcommand*\collectverb{%
+    \begingroup
+    \verbatim@font
+    \@ifstar
+        \@scollectverb
+        \@collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@collectverb}[1]{<code>}
+% Changes catcodes and ensures that spaces are displayed normally.
+%    \begin{macrocode}
+\def\@collectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@vobeyspaces
+    \frenchspacing
+    \@noligs
+    \@@collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@scollectverb}[1]{<code>}
+% Changes catcodes.
+%    \begin{macrocode}
+\def\@scollectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@noligs
+    \@@collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@@collectverb}[2]{<code>}{<char>}
+% Defines \Macro\@@@collectverb to read everything to the next occurrence of \meta{char}
+% and feed it to the given \meta{code}.
+%    \begin{macrocode}
+\def\@@collectverb#1#2{%
+    \ifnum`#2=`\{%
+        \catcode`\}\active
+    \else
+        \catcode`#2\active
+    \fi
+    \begingroup
+    \ifnum`#2=`\{%
+        \lccode`\~`\}%
+    \else
+        \lccode`\~`#2%
+    \fi
+    \lowercase{\endgroup
+        \def\@@@collectverb##1~}{#1{##1}\endgroup}%
+    \@@@collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\Collectverb}
+% Collects argument as plain verbatim and feeds it to the given code.
+% The text is suitable to be printed to auxiliary files.
+%    \begin{macrocode}
+\newcommand*\Collectverb{%
+    \begingroup
+    \@ifstar
+        \@sCollectverb
+        \@Collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@Collectverb}
+%    \begin{macrocode}
+\def\@Collectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \obeyspaces
+    \@@Collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@sCollectverb}
+%    \begin{macrocode}
+\def\@sCollectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@@Collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@@Collectverb}
+%    \begin{macrocode}
+\def\@@Collectverb#1#2{%
+    \ifnum`#2=`\{%
+        \catcode`\}\active
+    \else
+        \catcode`#2\active
+    \fi
+    \begingroup
+    \ifnum`#2=`\{%
+        \lccode`\~`\}%
+    \else
+        \lccode`\~`#2%
+    \fi
+    \lowercase{\endgroup
+        \def\@@@Collectverb##1~}{\endgroup#1{##1}}%
+    \@@@Collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\Verbdef}
+%    \begin{macrocode}
+\newcommand*\Verbdef{%
+    \@ifstar
+        {\@Verbdef*}%
+        {\@Verbdef{}}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@Verbdef}
+%    \begin{macrocode}
+\newcommand*\@Verbdef[2]{%
+    \Collectverb#1{\def#2}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
 % \iffalse
 %</package>
 % \fi
diff --git a/Master/texmf-dist/source/latex/newverbs/newverbs.ins b/Master/texmf-dist/source/latex/newverbs/newverbs.ins
index a0abf99b144..7fb81c14d49 100644
--- a/Master/texmf-dist/source/latex/newverbs/newverbs.ins
+++ b/Master/texmf-dist/source/latex/newverbs/newverbs.ins
@@ -1,4 +1,4 @@
-% $Id: newverbs.ins 1816 2010-04-05 18:03:28Z martin $
+% $Id$
 %
 % Copyright (c) 2010 by Martin Scharrer <martin@scharrer-online.de>
 % WWW: http://latex.scharrer-online.de/
diff --git a/Master/texmf-dist/tex/latex/newverbs/newverbs.sty b/Master/texmf-dist/tex/latex/newverbs/newverbs.sty
index 4c856f47d88..5097031b1b8 100644
--- a/Master/texmf-dist/tex/latex/newverbs/newverbs.sty
+++ b/Master/texmf-dist/tex/latex/newverbs/newverbs.sty
@@ -1,70 +1,101 @@
-%%
-%% This is file `newverbs.sty',
-%% generated with the docstrip utility.
-%%
-%% The original source files were:
-%%
-%% newverbs.dtx  (with options: `package')
-%% 
-%%  Copyright (c) 2010-2011 by Martin Scharrer <martin@scharrer-online.de>
-%%  WWW: http://latex.scharrer-online.de/
-%% 
-%%  This work may be distributed and/or modified under the
-%%  conditions of the LaTeX Project Public License, either version 1.3
-%%  of this license or (at your option) any later version.
-%%  The latest version of this license is in
-%%   http://www.latex-project.org/lppl.txt
-%%  and version 1.3 or later is part of all distributions of LaTeX
-%%  version 2005/12/01 or later.
-%% 
-%%  This work has the LPPL maintenance status `maintained'.
-%% 
-%%  The Current Maintainer of this work is Martin Scharrer.
-%% 
-%%  This work consists of the files newverbs.dtx and newverbs.ins
-%%  and the derived file newverbs.sty.
-%% 
-%% $Id: newverbs.dtx 2161 2011-02-16 16:19:38Z martin $
-\ProvidesPackage{newverbs}
-  [2011/02/16 v1.2 Define new 'verb' commands and short verb. characters]
+%    \begin{macrocode}
+\ProvidesPackage{newverbs}[2011/02/16 v1.2 Define new 'verb' commands and short verb. characters]
+%    \end{macrocode}
+%
+% \subsection{Verb Definition Commands}
+%
+% \begin{macro}{\newverbcommand}
+% \begin{macro}{\renewverbcommand}
+% \begin{macro}{\provideverbcommand}
+% This macro calls the real macro with the to be used definition macro.
+%    \begin{macrocode}
 \newcommand*\newverbcommand{\new@verbcommand\newcommand}
 \newcommand*\renewverbcommand{\new@verbcommand\renewcommand}
 \newcommand*\provideverbcommand{\new@verbcommand\providecommand}
+%    \end{macrocode}
+% \end{macro}
+% \end{macro}
+% \end{macro}
+%
+% \begin{macro}{\new@verbcommand}[4]{underlying definition macro}{macro to define}{code before}{code after}
+% The trailing code is inserted by patching \cs{verb@egroup} which is called by \cs{verb}
+% after the verbatim content.
+%    \begin{macrocode}
 \def\new@verbcommand#1#2#3#4{%
   #1*#2{%
     \begingroup
     \newverbcommand@settings
     \def\verb@egroup{\verb@orig@egroup#4\endgroup}%
-    \def\newverbs@txend{#4\endgroup}
+    \def\newverbs@txend{#4\endgroup}%
     #3\verb
   }%
 }
+%    \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\newverbs@tabularxsupport}
+% Enables support for the new verbatim macros inside \env{tabularx} environments.
+% This environment defines its own almost-verbatim form of |\verb|%^^A|
+% which lacks the end-macro we patch above. The following code inserts such 
+% an end-macro.
+%    \begin{macrocode}
 \def\newverbs@tabularxsupport{%
     \begingroup
     \def\orig@TX@vb##1{\def\@tempa####1##1{\toks@{####1}\edef\@tempa{\the\toks@}%
-        \expandafter\TX@v\meaning\@tempa\\ \\\ifnum0=`{\fi}}\@tempa!}
+        \expandafter\TX@v\meaning\@tempa\\\\\ifnum0=`{\fi}}\@tempa!}%
     \ifx\TX@vb\orig@TX@vb
         \endgroup
         \PackageInfo{newverbs}{Patching 'TX@vb' macro of the 'tabularx' package.}%
         \def\TX@vb##1{\def\@tempa####1##1{\toks@{####1}\edef\@tempa{\the\toks@}%
-            \expandafter\TX@v\meaning\@tempa\\ \\\ifnum0=`{\fi}\newverbs@txend}\@tempa!}
+            \expandafter\TX@v\meaning\@tempa\\\\\ifnum0=`{\fi}\newverbs@txend}\@tempa!}%
     \else
         \endgroup
         \PackageWarning{newverbs}{Couldn't patch 'TX@vb' macro of the 'tabularx' package. Definition unknown.}%
     \fi
     \let\newverbs@tabularxsupport\relax
 }
+%    \end{macrocode}
+% The end-macro is initially empty and is set for every call of a new verb macro.
+%    \begin{macrocode}
 \def\newverbs@txend{}
+%    \end{macrocode}
+% The support is activated either now or at the begin of the document if the \pkg{tabularx} is loaded.
+%    \begin{macrocode}
 \@ifpackageloaded{tabularx}{%
     \newverbs@tabularxsupport
 }{%
     \AtBeginDocument{\@ifpackageloaded{tabularx}{\newverbs@tabularxsupport}{}}%
 }
+%    \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\newverbcommand@settings}
+% Some settings required for all new \cs{verb}-like commands.
+% The original end group macro from \cs{verb} is saved away.
+% Also the `temp box a' is provided with a user friendly name.
+%    \begin{macrocode}
 \def\newverbcommand@settings{%
   \let\verb@orig@egroup\verb@egroup
   \let\verbbox\@tempboxa
 }
+%    \end{macrocode}
+% \end{macro}
+%
+% \subsection{Provided New Verb Commands}\label{sec:impl}
+%
+% \begin{macro}{\qverb}
+% Quoting version of \cs{verb}. Places a quote character before and after the verbatim content: "verb".
+%    \begin{macrocode}
 \provideverbcommand{\qverb}{\qverbbeginquote}{\qverbendquote}
+%    \end{macrocode}
+% \end{macro}
+%
+% \begin{macro}{\qverbbeginquote}
+% \begin{macro}{\qverbendquote}
+% This macros insert the actual quotes. They can be redefined by the user to contain the required quotes.
+% If available the quoting macros of \pkg{csquotes} are used.
+% \changes{v1.1}{2010/04/13}{Added usage of 'csquotes' macros if loaded.}
+%    \begin{macrocode}
 \@ifundefined{openinnerquote}{%
   \def\qverbbeginquote{`}%
   \def\qverbendquote{'}%
@@ -72,14 +103,183 @@
   \def\qverbbeginquote{\openinnerquote}%
   \def\qverbendquote{\closeinnerquote}%
 }
+%    \end{macrocode}
+% \end{macro}
+% \end{macro}
+%
+% \begin{macro}{\fverb}
+% A framed version of \cs{verb}. Stores the verbatim content first into a box. Then the box content is framed.
+%    \begin{macrocode}
 \newverbcommand{\fverb}
   {\setbox\verbbox\hbox\bgroup\color@setgroup}
   {\color@endgroup\egroup\fbox{\box\verbbox}}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \subsection{Make Special Short Verbatim Characters}
+%
+% \begin{macro}{\MakeSpecialShortVerb}[1]{verbatim macro}
+% Uses the definition of \cs{MakeShortVerb} from \pkg{shortvrb} except with \cs{verb} replaced with the first argument.
+% The second argument is then read by \cs{@MakeShortVerb}.
+%    \begin{macrocode}
 \newcommand*\MakeSpecialShortVerb[1]{%
   \@ifstar
     {\def\@shortvrbdef{#1*}\@MakeShortVerb}%
     {\def\@shortvrbdef{#1}\@MakeShortVerb}%
 }
-\endinput
-%%
-%% End of file `newverbs.sty'.
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \subsection{Collect verbatim argument}
+%
+% \begin{macro}{\collectverb}
+% Collects verbatim text which can be typeset.
+% Checks for an existing star.
+%    \begin{macrocode}
+\newcommand*\collectverb{%
+    \begingroup
+    \verbatim@font
+    \@ifstar
+        \@scollectverb
+        \@collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@collectverb}[1]{<code>}
+% Changes catcodes and ensures that spaces are displayed normally.
+%    \begin{macrocode}
+\def\@collectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@vobeyspaces
+    \frenchspacing
+    \@noligs
+    \@@collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@scollectverb}[1]{<code>}
+% Changes catcodes.
+%    \begin{macrocode}
+\def\@scollectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@noligs
+    \@@collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@@collectverb}[2]{<code>}{<char>}
+% Defines \Macro\@@@collectverb to read everything to the next occurrence of \meta{char}
+% and feed it to the given \meta{code}.
+%    \begin{macrocode}
+\def\@@collectverb#1#2{%
+    \ifnum`#2=`\{%
+        \catcode`\}\active
+    \else
+        \catcode`#2\active
+    \fi
+    \begingroup
+    \ifnum`#2=`\{%
+        \lccode`\~`\}%
+    \else
+        \lccode`\~`#2%
+    \fi
+    \lowercase{\endgroup
+        \def\@@@collectverb##1~}{#1{##1}\endgroup}%
+    \@@@collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\Collectverb}
+% Collects argument as plain verbatim and feeds it to the given code.
+% The text is suitable to be printed to auxiliary files.
+%    \begin{macrocode}
+\newcommand*\Collectverb{%
+    \begingroup
+    \@ifstar
+        \@sCollectverb
+        \@Collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@Collectverb}
+%    \begin{macrocode}
+\def\@Collectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \obeyspaces
+    \@@Collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@sCollectverb}
+%    \begin{macrocode}
+\def\@sCollectverb#1{%
+    \verb@eol@error
+    \let\do\@makeother
+    \dospecials
+    \@@Collectverb{#1}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@@Collectverb}
+%    \begin{macrocode}
+\def\@@Collectverb#1#2{%
+    \ifnum`#2=`\{%
+        \catcode`\}\active
+    \else
+        \catcode`#2\active
+    \fi
+    \begingroup
+    \ifnum`#2=`\{%
+        \lccode`\~`\}%
+    \else
+        \lccode`\~`#2%
+    \fi
+    \lowercase{\endgroup
+        \def\@@@Collectverb##1~}{\endgroup#1{##1}}%
+    \@@@Collectverb
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\Verbdef}
+%    \begin{macrocode}
+\newcommand*\Verbdef{%
+    \@ifstar
+        {\@Verbdef*}%
+        {\@Verbdef{}}%
+}
+%    \end{macrocode}
+% \end{macro}
+%
+%
+% \begin{macro}{\@Verbdef}
+%    \begin{macrocode}
+\newcommand*\@Verbdef[2]{%
+    \Collectverb#1{\def#2}%
+}
+%    \end{macrocode}
+% \end{macro}
+%