avoid utf8 in coqdoc output

palmskog · Dec 14, 2020 · e119345 · e119345
1 parent be401b4
commit e119345
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/alectryon/cli.py b/alectryon/cli.py
@@ -184,7 +184,7 @@ def gen_latex_snippets(annotated):
     return LatexGenerator(highlight_latex).gen(annotated)
 
 COQDOC_OPTIONS = ['--body-only', '--no-glob', '--no-index', '--no-externals',
-                  '-s', '--html', '--stdout', '--utf8']
+                  '-s', '--html', '--stdout']
 
 def _run_coqdoc(coq_snippets, coqdoc_bin=None):
     """Get the output of coqdoc on coq_code."""