diff --git a/scripts/gendocs.py b/scripts/gendocs.py index 9cd58d5ff..cc941da29 100755 --- a/scripts/gendocs.py +++ b/scripts/gendocs.py @@ -1,5 +1,7 @@ #!/usr/bin/python +# https://www.doxygen.nl/manual/commands.html + import sys, os, shutil, subprocess cwd = os.path.dirname(__file__)