diff options
author | Jonas Bernoulli <jonas@bernoul.li> | 2017-12-17 21:39:36 +0100 |
---|---|---|
committer | Jonas Bernoulli <jonas@bernoul.li> | 2017-12-17 21:39:36 +0100 |
commit | 05338d893f3879391d7283324364b472e3f4f4d1 (patch) | |
tree | 1eeecc43db2111d3cfa91f7864e39b7e5c7b60b8 /with-editor.texi | |
parent | 93876b61a565d5696d278828d4ad687e64cb3ee1 (diff) |
make: inject style switcher into generated html manual
Diffstat (limited to 'with-editor.texi')
-rw-r--r-- | with-editor.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/with-editor.texi b/with-editor.texi index a0cd0dd..c48e806 100644 --- a/with-editor.texi +++ b/with-editor.texi @@ -30,7 +30,7 @@ General Public License for more details. @finalout @titlepage @title With-Editor User Manual -@subtitle for version 2.7.0 (v2.7.0-9-gf733034+1) +@subtitle for version 2.7.0 (v2.7.0-10-g93876b6+1) @author Jonas Bernoulli @page @vskip 0pt plus 1filll @@ -59,7 +59,7 @@ additional functionality which makes it useful even for end-users, who don't use Magit or another package which uses it internally. @noindent -This manual is for With-Editor version 2.7.0 (v2.7.0-9-gf733034+1). +This manual is for With-Editor version 2.7.0 (v2.7.0-10-g93876b6+1). @quotation Copyright (C) 2015-2017 Jonas Bernoulli <jonas@@bernoul.li> |