diff options
Diffstat (limited to 'make_doc.py')
-rwxr-xr-x | make_doc.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make_doc.py b/make_doc.py index a5c022c9..d59ac73b 100755 --- a/make_doc.py +++ b/make_doc.py @@ -1,4 +1,4 @@ -#!/usr/bin/python3 +#!/usr/bin/python """Generate pydoc documentation and move it to the doc directory. THIS WILL DELETE ALL EXISTING HTML FILES IN THAT DIRECTORY, so don't store important content there.""" |