diff options
| author | John MacFarlane <[email protected]> | 2024-05-15 17:42:41 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2024-05-15 17:42:41 -0700 |
| commit | dbef49050e6d4a9f9279ba8020d1b80b7b28d2df (patch) | |
| tree | 1dbc60ef36206bd7133a2e9c3dda4479bb7dd229 /data | |
| parent | 911edb7a8a0437874b1804ce1cbdd8681a6ebbb2 (diff) | |
texinfo template: add variables for filename and version
Diffstat (limited to 'data')
| -rw-r--r-- | data/templates/default.texinfo | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/data/templates/default.texinfo b/data/templates/default.texinfo index 693827810..13772468d 100644 --- a/data/templates/default.texinfo +++ b/data/templates/default.texinfo @@ -1,4 +1,11 @@ -\input texinfo +\input texinfo @c -*-texinfo-*- +$if(filename)$ +@setfilename $filename$ +$endif$ +$if(title)$ +@settitle $title$$if(version)$ $version$$endif$ +$endif$ + @documentencoding UTF-8 $for(header-includes)$ $header-includes$ @@ -16,6 +23,9 @@ $endif$ $if(titlepage)$ @titlepage @title $title$ +$if(version)$ +@subtitle $version$ +$endif$ $for(author)$ @author $author$ $endfor$ |