diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/texinfo/texinfo.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/texinfo/texinfo.tex b/doc/texinfo/texinfo.tex index c49af9f4ed..f9ab55f0f8 100644 --- a/doc/texinfo/texinfo.tex +++ b/doc/texinfo/texinfo.tex @@ -906,6 +906,7 @@ where each line of input produces a line of output.} \closein 1 \indexnofonts \def\tt{} + \def\_{\normalunderscore} % thanh's hack / proper braces in bookmarks \edef\mylbrace{\iftrue \string{\else}\fi}\let\{=\mylbrace \edef\myrbrace{\iffalse{\else\string}\fi}\let\}=\myrbrace |