[patch] patch to set @documentencoding ISO-8859-1

maxima-5.43.0-documentencoding.patch (text/plain), 352 bytes, created by Charles G. Waldman on 2019-10-11 15:07:23 UTC

--- a/interfaces/emacs/imaxima/imaxima.texi	2019-10-11 09:45:52.212135217 -0500
+++ b/interfaces/emacs/imaxima/imaxima.texi	2019-10-11 09:46:08.961296844 -0500
@@ -1,5 +1,6 @@
 \input texinfo                  @c -*-texinfo-*-
 @c %**start of header
+@documentencoding ISO-8859-1
 @setfilename imaxima.info
 @settitle Imaxima Manual
 @paragraphindent 0