diff --git a/docs/html_unescape.py b/docs/html_unescape.py index 64da6444d5..281234530b 100755 --- a/docs/html_unescape.py +++ b/docs/html_unescape.py @@ -1,4 +1,5 @@ #!/usr/bin/env python2.7 +from __future__ import print_function # Remove HTML entity escaping left over from MediaWiki->rST conversion.