diff options
Diffstat (limited to 'doc/postprocess.py')
| -rwxr-xr-x | doc/postprocess.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/postprocess.py b/doc/postprocess.py index 1c6ef1b2e..512070193 100755 --- a/doc/postprocess.py +++ b/doc/postprocess.py @@ -6,6 +6,8 @@ Post-processes HTML and Latex files output by Sphinx. MODE is either 'html' or 'tex'. """ +from __future__ import division + import re, optparse def main(): |