From fd688f6e9c7ec51150f19ed79958b355adde4c76 Mon Sep 17 00:00:00 2001
From: "Richard M. Stallman" <rms@gnu.org>
Date: Thu, 10 Jul 1997 01:23:38 +0000
Subject: [PATCH] (\titlefont): Define again, using \titlefonts.

---
 texinfo.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/texinfo.tex b/texinfo.tex
index f2880c99..9958955a 100644
--- 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