diff options
Diffstat (limited to 'doc/postprocess.py')
| -rwxr-xr-x | doc/postprocess.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/postprocess.py b/doc/postprocess.py index e4cbecf7b..c7fbcc6e7 100755 --- a/doc/postprocess.py +++ b/doc/postprocess.py @@ -6,7 +6,6 @@ Post-processes HTML and Latex files output by Sphinx. MODE is either 'html' or 'tex'. """ -import re import optparse import io |