diff options
author | Mattias Andrée <maandree@kth.se> | 2013-10-09 14:22:33 +0200 |
---|---|---|
committer | Mattias Andrée <maandree@kth.se> | 2013-10-09 14:22:33 +0200 |
commit | 199aaac15bebea9d680ddae706a219d8dec3495f (patch) | |
tree | cfafedd992fe08d07453934db81f1ef8883cfca0 | |
parent | derp (diff) | |
download | using-git-199aaac15bebea9d680ddae706a219d8dec3495f.tar.gz using-git-199aaac15bebea9d680ddae706a219d8dec3495f.tar.bz2 using-git-199aaac15bebea9d680ddae706a219d8dec3495f.tar.xz |
clear TEXI_5 if you cannot compile the document
Signed-off-by: Mattias Andrée <maandree@kth.se>
-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 |