diff options
| -rw-r--r-- | using-git.texinfo | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/using-git.texinfo b/using-git.texinfo index 5c734cd..75f6151 100644 --- a/using-git.texinfo +++ b/using-git.texinfo @@ -8,12 +8,16 @@ @documentencoding UTF-8 @documentlanguage en +@set TEXI_5 + @c @set HARD_COPY_EDITION @c @smallbook @ifset HARD_COPY_EDITION +@ifset TEXI_5 @cropmarks +@end ifset @setchapternewpage odd -@endif +@end ifset @finalout @c %**end of header @@ -32,9 +36,11 @@ @sp 1 @end iftex +@ifset TEXI_5 @ifnottex @quotation @end ifnottex +@end ifset @noindent This Git manual is intended to be @@ -58,9 +64,12 @@ such as how to use a command. @c ... @c @end ifclear +@ifset TEXI_5 @ifnottex @end quotation @end ifnottex +@end ifset + @end macro |