mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-05 15:15:44 +00:00
64 lines
1.3 KiB
Plaintext
64 lines
1.3 KiB
Plaintext
@c
|
|
@c COPYRIGHT (c) 1988-2002.
|
|
@c On-Line Applications Research Corporation (OAR).
|
|
@c All rights reserved.
|
|
@c
|
|
@c $Id$
|
|
@c
|
|
|
|
@c
|
|
@c The following determines which set of the tables and figures we will use.
|
|
@c We default to ASCII but if available TeX or HTML versions will
|
|
@c be used instead.
|
|
@c
|
|
|
|
@set use-ascii
|
|
@c @clear use-html
|
|
@c @clear use-tex
|
|
|
|
@iftex
|
|
@clear use-ascii
|
|
@clear use-html
|
|
@set use-tex
|
|
@end iftex
|
|
|
|
@ifhtml
|
|
@clear use-ascii
|
|
@clear use-tex
|
|
@set use-html
|
|
@end ifhtml
|
|
|
|
@c
|
|
@c The following variable says to use texinfo or html for the two column
|
|
@c texinfo tables. For somethings the format does not look good in html.
|
|
@c With our adjustment to the left column in TeX, it nearly always looks
|
|
@c good printed.
|
|
@c
|
|
@ifset use-ascii
|
|
@set use-texinfo-tables
|
|
@end ifset
|
|
@ifset use-tex
|
|
@set use-texinfo-tables
|
|
@end ifset
|
|
@ifset use-html
|
|
@clear use-texinfo-tables
|
|
@end ifset
|
|
|
|
@c
|
|
@c Custom whitespace adjustments. We could fiddle a bit more.
|
|
@c
|
|
@tex
|
|
\global\parindent 0in
|
|
\global\chapheadingskip = 15pt plus 4pt minus 2pt
|
|
\global\secheadingskip = 12pt plus 4pt minus 2pt
|
|
\global\subsecheadingskip = 9pt plus 4pt minus 2pt
|
|
\global\hbadness = 10000
|
|
\global\tolerance = 6000
|
|
\global\tableindent = 1.5in
|
|
\global\itemindent = 0.5in
|
|
|
|
@ifclear smallbook
|
|
\global\parskip 6pt plus 1pt
|
|
@end ifclear
|
|
@end tex
|