Karl Berry
|
9a01894149
|
Restoring good RCS id.
|
1996-08-02 15:12:28 +00:00 |
|
Karl Berry
|
ea6631a23d
|
(\indexfonts): Make leading be 12pt. Otherwise, it's too crammed. (\smalllispx): Remove \setleading{10pt}. That was too small. (\doprintindex): Do not call \tex ... \Etex. Index files are Texinfo source, not TeX source, except for using \ instead of @ as the escape character (for now).
|
1996-07-29 19:08:10 +00:00 |
|
Karl Berry
|
cd4e176cbf
|
(paragraphindent): Move to more reasonable place in the source file. (chapfonts, secfonts, subsecfonts, indexfonts): Call \setleading. (\chfplain, \secheading, \plainsecheading, \subsecheading, \subsubheading): Rewrite to properly \hangindent the title. (\sectionheading): New generic macro to print section titles.
|
1996-07-28 20:57:40 +00:00 |
|
Karl Berry
|
9e9f9cc23f
|
Initial revision
|
1996-07-28 20:55:30 +00:00 |
|