Skip to content
Newer
Older
100644 65 lines (55 sloc) 763 Bytes
d095685 @jgm Initial commit
authored Jul 19, 2011
1 \input texinfo
bf0b37d Make texinfo encoding UTF-8 instead of utf-8.
John MacFarlane authored Apr 6, 2012
2 @documentencoding UTF-8
d095685 @jgm Initial commit
authored Jul 19, 2011
3 $for(header-includes)$
4 $header-includes$
5 $endfor$
6
7 $if(strikeout)$
8 @macro textstrikeout{text}
9 ~~\text\~~
10 @end macro
11
12 $endif$
13 $if(subscript)$
14 @macro textsubscript{text}
15 @iftex
16 @textsubscript{\text\}
17 @end iftex
18 @ifnottex
19 _@{\text\@}
20 @end ifnottex
21 @end macro
22
23 $endif$
24 $if(superscript)$
25 @macro textsuperscript{text}
26 @iftex
27 @textsuperscript{\text\}
28 @end iftex
29 @ifnottex
30 ^@{\text\@}
31 @end ifnottex
32 @end macro
33
34 $endif$
35 @ifnottex
36 @paragraphindent 0
37 @end ifnottex
38 $if(titlepage)$
39 @titlepage
40 @title $title$
41 $for(author)$
42 @author $author$
43 $endfor$
44 $if(date)$
45 $date$
46 $endif$
47 @end titlepage
48
49 $endif$
50 $for(include-before)$
51 $include-before$
52
53 $endfor$
54 $if(toc)$
55 @contents
56
57 $endif$
58 $body$
59 $for(include-after)$
60
61 $include-after$
62 $endfor$
63
64 @bye
Something went wrong with that request. Please try again.