diff options
Diffstat (limited to 'macros/optex/base/doc.opm')
-rw-r--r-- | macros/optex/base/doc.opm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/macros/optex/base/doc.opm b/macros/optex/base/doc.opm index 34a00dc1e9..cb2b976e7c 100644 --- a/macros/optex/base/doc.opm +++ b/macros/optex/base/doc.opm @@ -134,7 +134,7 @@ \_ifx\_printfilename\_relax \_penalty \_ttpenalty \_fi \_vskip-4pt \_noindent\_rlap{\Yellow \_vrule height8pt depth5pt width\_hsize}% \_printfilename - \_indent \_printverblinenum #1\par} + \_indent \_printverblinenum #1\_par} \_def\_printfilename{\_hbox to0pt{% \_hskip\_hsize\_vbox to0pt{\_vss\_llap{\Brown\docfile}\_kern7.5pt}\_hss}% |