# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1459795763 14400
# Node ID 09a06ed4d1ba3ad0b58fcf0e170d38623b7d0711
# Parent  7f3519e6194adca5a38170f9c15207771536f660
* octave.texi: Set document encoding to UTF-8.

diff -r 7f3519e6194a -r 09a06ed4d1ba doc/interpreter/octave.texi
--- a/doc/interpreter/octave.texi	Wed Apr 06 12:51:00 2016 -0700
+++ b/doc/interpreter/octave.texi	Mon Apr 04 14:49:23 2016 -0400
@@ -18,6 +18,8 @@
 
 \input texinfo
 
+@documentencoding UTF-8
+
 @setfilename octave.info
 
 @include macros.texi