chiark / gitweb /
~cjwatson / blog.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aef0f19) | patch
documentation/doxygen: don't create output dir if it's empty.
authorVladimír Vondruš <mosra@centrum.cz>
Sat, 7 Nov 2020 15:29:02 +0000 (16:29 +0100)
committerVladimír Vondruš <mosra@centrum.cz>
Sat, 7 Nov 2020 15:29:02 +0000 (16:29 +0100)
commitdaef291c943073b8cb7391c154ad48c948da1574
tree968fda4b9d8e63427dc775782dfdc146632f6e77tree | snapshot
parentaef0f19dfaaac59eb69936b4319646f430bbdc2bcommit | diff
documentation/doxygen: don't create output dir if it's empty.

It doesn't make sense to me why makedirs() wouldn't just gracefully
no-op that.
documentation/doxygen.py diff | blob | history
Colin Watson's blog