resolve merge noise in favor of new upstream. note that this tosses out the

[debian/gzip] / build-aux / texinfo.tex

diff --git a/build-aux/texinfo.tex b/build-aux/texinfo.tex
index 198ec194824cd3f9ed86a04a6ebb9c2f58d97f06..91408263bc9c8ab0ad735c0974872d2f1cf58dc0 100644 (file)
--- 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}