diff options
author | Jay Berkenbilt <ejb@ql.org> | 2022-07-31 22:19:50 +0200 |
---|---|---|
committer | Jay Berkenbilt <ejb@ql.org> | 2022-07-31 22:26:02 +0200 |
commit | 5d63730b9347a755d2906f7a929db9dba71ea37f (patch) | |
tree | ca7a1d9c0c714917e1993cb07b090f338ae6dfea /manual/conf.py | |
parent | 12d065c75120d68cb7dd8445be4620e003598d7d (diff) | |
download | qpdf-5d63730b9347a755d2906f7a929db9dba71ea37f.tar.zst |
Clean up documentation
Diffstat (limited to 'manual/conf.py')
-rw-r--r-- | manual/conf.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/manual/conf.py b/manual/conf.py index be8e4c64..02bb4462 100644 --- a/manual/conf.py +++ b/manual/conf.py @@ -35,6 +35,7 @@ latex_elements = { 'preamble': r''' \sphinxDUC{2264}{$\leq$} \sphinxDUC{2265}{$\geq$} +\sphinxDUC{03C0}{$\pi$} ''', } highlight_language = 'none' |