diff options
-rwxr-xr-x | Documentation/gen_commands.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/gen_commands.py b/Documentation/gen_commands.py index 203a39bb11..a55b1acd82 100755 --- a/Documentation/gen_commands.py +++ b/Documentation/gen_commands.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python from __future__ import print_function |