# HG changeset patch
# User John W. Eaton <jwe@octave.org>
# Date 1459795763 14400
# Node ID 590136240f7ccdd1851b44d1fdd178ed351fcd63
# Parent  3b9524234d89e9c3e0dd6eab6864d4029936ce2d
* octave.texi: Set document encoding to UTF-8.

diff -r 3b9524234d89 -r 590136240f7c doc/interpreter/octave.texi
--- a/doc/interpreter/octave.texi	Sun Apr 03 00:47:21 2016 +0200
+++ 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