From a7595b06134e35b09d74d69ff8158366b54cd32e Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Fri, 19 Dec 2014 14:46:50 -0500 Subject: [PATCH] UTF-8 document encoding for manual --- doc/hoxsl.texi | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/hoxsl.texi b/doc/hoxsl.texi index 8453ccd..b5761b2 100644 --- a/doc/hoxsl.texi +++ b/doc/hoxsl.texi @@ -1,6 +1,7 @@ \input texinfo @c %**start of header @setfilename hoxsl.info +@documentencoding UTF-8 @settitle hoxsl Manual v@value{VERSION} @c %**end of header