diff --git a/src/etc/sugarise-doc-comments.py b/src/etc/sugarise-doc-comments.py index 04c8a4ebff25..bd21447ffcc5 100755 --- a/src/etc/sugarise-doc-comments.py +++ b/src/etc/sugarise-doc-comments.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # this script attempts to turn doc comment attributes (#[doc = "..."])