mirror of https://github.com/omar-polo/gmid.git
configure: fix --mandir handling
This commit is contained in:
parent
20fa7cded6
commit
6bce8180d9
Loading…
Reference in New Issue