Wie kann ich Befehlsdefinitionen verbatim in eine temporäre Datei exportieren und verbatim reimportieren?

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
      %definition von verbatim in TeXBook
\outer\def\begindisplay{\obeylines\startdisplay}
{\obeylines\gdef\startdisplay#1
{\catcode`\^^M=5$$#1\halign|\bgroup\indent##\hfil&&\qquad##\hfil\cr}}
\outer\def\enddisplay{\crcr\egroup$$}
\chardef\other=12
\def\ttverbatim{\begingroup \catcode`\\=\other \catcode`\{=\other
\catcode`\}=\other \catcode`\$=\other \catcode`\&=\other
\catcode`\#=\other \catcode`\%=\other \catcode`\~=\other
\catcode`\_=\other \catcode`\^=\other
\obeyspaces \obeylines \tt}
{\obeyspaces\gdef {\ }} % \obeyspaces now gives \ , not \space|
\outer\def\begintt{$$\let\par=\endgraf \ttverbatim \parskip=0pt
\catcode`\|=0\rightskip=-5pc \ttfinish}{\catcode`\|=0 \catcode`|\=\other % 
|obeylines 
|gdef|ttfinish#1^^M#2\endtt{#1|vbox{#2}|endgroup$$}}
\catcode`\|=\active
{\obeylines\gdef|{\ttverbatim\spaceskip=\ttgl\"u\let^^M=\ \let%
|=\endgroup}}
%definition von verbatim in TeXBook
\newcount\texcomnum %Zähler für die Befehle
\newwrite\texmanual %Schreibanweisung für externe Datei
\immediate\openout\texmanual=\jobname.man %öffnen und benennen der externen Datei
\def\texdisplaymanual{\vskip1\baselineskip BEFEHLSREFERENZ von \jobname.tex
                      \vskip2\baselineskip\immediate\closeout\texmanual \input
                      \jobname.man \vfill
} %Einlesen der externen Datei
\def\texnewdef[#1,#2]#3{\advance\texcomnum by 1
\immediate\write\texmanual{\the\texcomnum. #1: {#2}\vskip0.1\baselineskip
{\tt Hier soll die Befehlsdefintion verbatim-formatiert erscheinen} \vskip1\baselineskip
}#3} %leer übergeordnete Befehlsdefinition mit Texthinweis (an der Stelle
     %steht später der Befel
\texnewdef[slanted, Formatiert den ersten Parameter als
slanted]{\def\slanted[#1]{{\sl #1}}}% Anwendung der übergeordneten Befehlsdefinition mit neuer Definition und
     % Schreibanweisung
\texnewdef[bold, Formatiert den ersten Parameter als bold]{\def\bold[#1]{{\bf
#1}}}% Anwendung der übergeordneten Befehlsdefinition mit neuer Definition und
     % Schreibanweisung
 
 
הההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההההה
XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX