projects
/
platform
/
upstream
/
make.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3e12cad
)
(\titlefont): Explicitly set \rm.
author
Karl Berry
<karl@gnu.org>
Mon, 13 Oct 1997 19:49:25 +0000
(19:49 +0000)
committer
Karl Berry
<karl@gnu.org>
Mon, 13 Oct 1997 19:49:25 +0000
(19:49 +0000)
texinfo.tex
patch
|
blob
|
history
diff --git
a/texinfo.tex
b/texinfo.tex
index 45e190e78a607dcafe6946a971a62ea01491c268..4af39bc3af65a6daa3c0b767d052f00f6d0fa992 100644
(file)
--- a/
texinfo.tex
+++ b/
texinfo.tex
@@
-1236,7
+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\titlefont#1{{\titlefonts
\rm
#1}}
\def\chapfonts{%
\let\tenrm=\chaprm \let\tenit=\chapit \let\tensl=\chapsl
\let\tenbf=\chapbf \let\tentt=\chaptt \let\smallcaps=\chapsc