doc/check-seclevel.py
changeset 45830 c102b704edb5
parent 43094 e8cf9ad52a78
child 48875 6000f5b25c9b
child 49205 45e71954612c
--- a/doc/check-seclevel.py	Mon Nov 09 09:58:44 2020 -0800
+++ b/doc/check-seclevel.py	Fri Nov 06 13:58:59 2020 -0800
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #
 # checkseclevel - checking section title levels in each online help document