(\titlefont): Define again, using \titlefonts.

diff --git a/texinfo.tex b/texinfo.tex
index f2880c9959d282cfd2c04455b451687854c75b79..9958955a7e350acf4637e89e9633e0e834b515c1 100644 (file)
--- a/texinfo.tex
+++ b/texinfo.tex
@@ -1236,6 +1236,7 @@ where each line of input produces a line of output.}
   \let\tensf=\titlesf \let\teni=\titlei \let\tensy=\titlesy
   \let\tenttsl=\titlettsl
   \resetmathfonts \setleading{25pt}}
+\def\titlefont#1{{\titlefonts #1}}
 \def\chapfonts{%
   \let\tenrm=\chaprm \let\tenit=\chapit \let\tensl=\chapsl
   \let\tenbf=\chapbf \let\tentt=\chaptt \let\smallcaps=\chapsc