Vladimír Čunát 0b4afef84a
gitMinimal: fix build after PR #86848
In that case it specified $doc output but didn't even create it.
I expect it's better to do it this way instead of creating it
as an empty directory.
(Only the failed builds get rebuilt by this commit.)
2020-06-09 09:28:24 +02:00
..
2019-02-25 19:21:45 +00:00
2019-02-25 19:21:45 +00:00
2019-02-25 19:21:45 +00:00
2019-02-25 19:21:45 +00:00