diff --git a/genpepindex.py b/genpepindex.py old mode 100644 new mode 100755 index 386febae6..dfb30b9f5 --- a/genpepindex.py +++ b/genpepindex.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python2.5 +#!/usr/bin/env python """Auto-generate PEP 0 (PEP index). Generating the PEP index is a multi-step process. To begin, you must first