diff options
| author | Jay Berkenbilt <ejb@ql.org> | 2022-01-18 15:14:17 +0100 |
|---|---|---|
| committer | Jay Berkenbilt <ejb@ql.org> | 2022-01-30 19:11:03 +0100 |
| commit | 211f1fdfe1d969df7c9762ba8e914d3ea829e9b4 (patch) | |
| tree | 1a3d04dcb33c9e41a7417dff2fc40f0d67a44514 /manual/conf.py | |
| parent | 195ddf6f5a6b9cec458fcecaffc42be2188243d5 (diff) | |
| download | qpdf-211f1fdfe1d969df7c9762ba8e914d3ea829e9b4.tar.zst | |
Allow real <= and >= in LateX
Diffstat (limited to 'manual/conf.py')
| -rw-r--r-- | manual/conf.py | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/manual/conf.py b/manual/conf.py index dafd49f1..0cc197ea 100644 --- a/manual/conf.py +++ b/manual/conf.py @@ -31,4 +31,10 @@ html_static_path = ['_static'] html_css_files = [ 'css/wraptable.css', ] +latex_elements = { + 'preamble': r''' +\sphinxDUC{2264}{$\leq$} +\sphinxDUC{2265}{$\geq$} +''', +} highlight_language = 'none' |