summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
Diffstat (limited to 'docs')
-rwxr-xr-xdocs/xsl/fixxref.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/xsl/fixxref.py b/docs/xsl/fixxref.py
index e476529..b891c71 100755
--- a/docs/xsl/fixxref.py
+++ b/docs/xsl/fixxref.py
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
# -*- Mode: Python; py-indent-offset: 4 -*-
import getopt