diff options
| author | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-06-08 21:13:16 +0200 |
|---|---|---|
| committer | Hugo Locurcio <hugo.locurcio@hugo.pro> | 2019-07-04 17:01:07 +0200 |
| commit | a84124fd1dd7e4cc797eec45db93fb53fd662e48 (patch) | |
| tree | 6439bf2d20587b4787232858f2904e3d2ed6c99d /editor/plugins | |
| parent | 550f436f8fbea86984a845c821270fba78189143 (diff) | |
Make `--doctool` create directories if they don't exist
This prevents errors due to missing directories when generating
engine documentation.
This closes #17297.
Diffstat (limited to 'editor/plugins')
0 files changed, 0 insertions, 0 deletions