doc/runrst
changeset 45830 c102b704edb5
parent 43691 47ef023d0165
child 46819 d4ba4d51f85f
--- a/doc/runrst	Mon Nov 09 09:58:44 2020 -0800
+++ b/doc/runrst	Fri Nov 06 13:58:59 2020 -0800
@@ -1,4 +1,4 @@
-#!/usr/bin/env python
+#!/usr/bin/env python3
 #
 # runrst - register custom roles and run correct writer
 #