diff options
Diffstat (limited to 'default.texinfo')
-rw-r--r-- | default.texinfo | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/default.texinfo b/default.texinfo index 9c1d8e178..458d4fdda 100644 --- a/default.texinfo +++ b/default.texinfo @@ -1,5 +1,5 @@ \input texinfo -@documentencoding utf-8 +@documentencoding UTF-8 $for(header-includes)$ $header-includes$ $endfor$ |