X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=build-aux%2Ftexinfo.tex;h=91408263bc9c8ab0ad735c0974872d2f1cf58dc0;hb=48b09c937e2291a84e91f0e1a62ca306c11bdb56;hp=198ec194824cd3f9ed86a04a6ebb9c2f58d97f06;hpb=dc0ab95dbae38577efebe2283fc9b76e92ef4233;p=debian%2Fgzip

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index 198ec19..9140826 100644
--- a/build-aux/texinfo.tex
+++ b/build-aux/texinfo.tex
@@ -2136,6 +2136,7 @@ end
 \setfont\defbf\bfshape{10}{\magstephalf}{OT1}
 \setfont\deftt\ttshape{10}{\magstephalf}{OT1TT}
 \setfont\defttsl\ttslshape{10}{\magstephalf}{OT1TT}
+\def\df{\let\tentt=\deftt \let\tenbf = \defbf \let\tenttsl=\defttsl \bf}
 
 % Fonts for indices, footnotes, small examples (9pt).
 \def\smallnominalsize{9pt}