5a9da90d07
Patch provided by @Billae
Avoid the following error:
File "/home/danlipsa/projects/spack/lib/spack/llnl/util/tty/log.py", line 768, in _writer_daemon
line = _retry(in_pipe.readline)()
File "/home/danlipsa/projects/spack/lib/spack/llnl/util/tty/log.py", line 830, in wrapped
return function(*args, **kwargs)
File "/usr/lib/python3.8/codecs.py", line 322, in decode
(result, consumed) = self._buffer_decode(data, self.errors, final)
UnicodeDecodeError: 'utf-8' codec can't decode byte 0x97 in position 220: invalid start byte
13 lines
381 B
Diff
13 lines
381 B
Diff
diff --git a/doc/spec/spec.tex b/doc/spec/spec.tex
|
|
index 2206e10..34a0724 100644
|
|
--- a/doc/spec/spec.tex
|
|
+++ b/doc/spec/spec.tex
|
|
@@ -14,6 +14,7 @@
|
|
\usepackage{float}
|
|
\usepackage[pdfpagemode=None,pdfstartview=FitH,pdfview=FitH,colorlinks=true]%
|
|
{hyperref}
|
|
+\usepackage{utf8x}[inputenc]
|
|
|
|
\newtheorem{theorem}{Theorem}[section]
|
|
\newcommand{\idx}[1]{{\ensuremath{\mathit{#1}}}}
|