gcc-common.texi revision 132718 
1@c Copyright (C) 2001, 2002, 2003 Free Software Foundation, Inc.
2@c This is part of the GCC manual.
3@c For copying conditions, see the file gcc.texi.
4
5@c Common values used in the GCC manuals:
6
7@set version-GCC 3.4.2
8
9@c DEVELOPMENT is set to indicate an in-development version,
10@c as compared to a release version.  When making a release
11@c branch, clear this.
12@clear DEVELOPMENT
13
14@c Common macros to support generating man pages:
15
16@macro gcctabopt{body}
17@code{\body\}
18@end macro
19@macro gccoptlist{body}
20@smallexample
21\body\
22@end smallexample
23@end macro
24@c Makeinfo handles the above macro OK, TeX needs manual line breaks;
25@c they get lost at some point in handling the macro.  But if @macro is
26@c used here rather than @alias, it produces double line breaks.
27@iftex
28@alias gol = *
29@end iftex
30@ifnottex
31@macro gol
32@end macro
33@end ifnottex
34
35@c For FSF printing, define FSFPRINT.  Also update the ISBN and last
36@c printing date for the manual being printed.
37@c @set FSFPRINT
38@ifset FSFPRINT
39@smallbook
40@finalout
41@c Cause even numbered pages to be printed on the left hand side of
42@c the page and odd numbered pages to be printed on the right hand
43@c side of the page.  Using this, you can print on both sides of a
44@c sheet of paper and have the text on the same part of the sheet.
45
46@c The text on right hand pages is pushed towards the right hand
47@c margin and the text on left hand pages is pushed toward the left
48@c hand margin.
49@c (To provide the reverse effect, set bindingoffset to -0.75in.)
50@tex
51\global\bindingoffset=0.75in
52\global\normaloffset =0.75in
53@end tex
54@end ifset
55