OSDN Git Service

(\titlefont): Define again, using \titlefonts.
authorrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
committerrms <rms@138bc75d-0d04-0410-961f-82ee72b054a4>
Thu, 10 Jul 1997 01:23:38 +0000 (01:23 +0000)
commit668fd6ed36cbb055fabfb67d7461e8da732809cc
tree1929f976243ef6a51b8880da8151c3ca71ae6096
parentf6acf4de87af24593968bf69ed1c7b5873d299e6
(\titlefont): Define again, using \titlefonts.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@14406 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/texinfo.tex