diff --git a/Doc/tools/keywords.py b/Doc/tools/keywords.py index 52b4d6825c5..6da352a3835 100644 --- a/Doc/tools/keywords.py +++ b/Doc/tools/keywords.py @@ -1,4 +1,4 @@ -#! /usr/local/bin/python +#! /usr/bin/env python # This Python program sorts and reformats the table of keywords in ref2.tex