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$