| -rw-r--r-- | teximpatient/usermacs.tex | 9 |
diff --git a/teximpatient/usermacs.tex b/teximpatient/usermacs.tex index e19d7b5..dbf78dd 100644 --- a/teximpatient/usermacs.tex +++ b/teximpatient/usermacs.tex @@ -629,8 +629,13 @@ You can also |\write| to |\tocfile| yourself. \tocfileopenedtrue \immediate\openout\tocfile = \jobname.toc \fi}% -\def\writetocentry#1#2{% - \writenumberedtocentry{#1}{#2}\empty}% +\def\writetocentry#1#2{\ifrewritetocfile + \opentocfile + \write\tocfile{% + \expandafter\noexpand \csname toc#1entry\endcsname + {#2}{\folio}}% +\fi\ignorespaces}% +% \def\writenumberedtocentry#1#2#3{\ifrewritetocfile \opentocfile \write\tocfile{% |