Merge commit 'upstream/1.4'

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

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