Remove doxygen log file if it's empty in the helper script

This allows to avoid having an untracked file in the repository, so it
doesn't need to be ignored any longer, as it shouldn't exist after a
successful run.

Also output a warning if the log file is not empty, even though the full
dump is only shown in the GitHub workflow file, as when running the
script locally it may be more convenient to examine the log file in some
other way.
This commit is contained in:
Vadim Zeitlin 2022-08-03 19:35:45 +02:00
parent 7999102295
commit d8da119ea1
3 changed files with 10 additions and 4 deletions

1
.gitignore vendored
View file

@ -157,7 +157,6 @@
/distrib/release
# /docs/doxygen/
/docs/doxygen/doxygen.log
/docs/doxygen/out
# /include/