diff options
| author | Richard M. Stallman <rms@gnu.org> | 1997-07-10 01:23:38 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1997-07-10 01:23:38 +0000 |
| commit | fd688f6e9c7ec51150f19ed79958b355adde4c76 (patch) | |
| tree | 88da26bbbc711520c57c58b9ea9925f28939effe /texinfo.tex | |
| parent | f96ef9a409e2b30a67a1420fe2d1e88066d339a2 (diff) | |
| download | gunmake-fd688f6e9c7ec51150f19ed79958b355adde4c76.tar.gz | |
(\titlefont): Define again, using \titlefonts.
Diffstat (limited to 'texinfo.tex')
| -rw-r--r-- | texinfo.tex | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/texinfo.tex b/texinfo.tex index f2880c9..9958955 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 |