diff options
| -rwxr-xr-x | scripts/dox_to_sphinx.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/dox_to_sphinx.py b/scripts/dox_to_sphinx.py index c3f7c44..b88a484 100755 --- a/scripts/dox_to_sphinx.py +++ b/scripts/dox_to_sphinx.py @@ -649,5 +649,4 @@ if __name__ == "__main__": ap.add_argument("index_xml_path", help="path index.xml from Doxygen") ap.add_argument("output_dir", help="output directory") - print(sys.argv) run(**vars(ap.parse_args(sys.argv[1:]))) |