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 /modules | |
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 'modules')
0 files changed, 0 insertions, 0 deletions