diff options
author | defanor <defanor@uberspace.net> | 2017-11-20 01:55:15 +0300 |
---|---|---|
committer | defanor <defanor@uberspace.net> | 2017-11-20 01:55:15 +0300 |
commit | e2936f8773bf7d84d493020bfe2fab1d8d7f3819 (patch) | |
tree | 469898a18cb1dcf67ee5b2a352062c511de17bfe /ChangeLog.md | |
parent | 11267e6ce7c3c577fa36d45c0103a988dc759eba (diff) |
Create man directory if it doesn't exist
It may be missing when destdir is altered to prepare a binary release.
Diffstat (limited to 'ChangeLog.md')
0 files changed, 0 insertions, 0 deletions