From 263787bae1d698ebc7aa9cc6581b69d258dcca7d Mon Sep 17 00:00:00 2001 From: xengineering Date: Sat, 12 Oct 2024 13:02:58 +0200 Subject: doc: Fix quote characters MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit LaTeX used to convert `'` quotes to a `’` even in verbatim environments. This is unsuitable to copy commands from the documentation to the Linux command line interface. Since this use case is very important to use the documentation this has to be fixed. Using the `upquote` package is sufficient to prevent the conversion. --- doc/documentation.tex | 1 + 1 file changed, 1 insertion(+) diff --git a/doc/documentation.tex b/doc/documentation.tex index 885b215..b2f912b 100644 --- a/doc/documentation.tex +++ b/doc/documentation.tex @@ -8,6 +8,7 @@ \usepackage{array} \usepackage{hyperref} \usepackage{parskip} +\usepackage{upquote} \begin{document} -- cgit v1.2.3-70-g09d2