diff options
Diffstat (limited to 'bin/docs-create-example-outputs.py')
-rw-r--r-- | bin/docs-create-example-outputs.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/docs-create-example-outputs.py b/bin/docs-create-example-outputs.py index b2dfbea..64dcf2e 100644 --- a/bin/docs-create-example-outputs.py +++ b/bin/docs-create-example-outputs.py @@ -3,6 +3,7 @@ # Searches through the whole doc/user tree and creates # all output files for the single examples. # +from __future__ import print_function import os import sys |