diff options
| author | Saleem Abdulrasool <compnerd@compnerd.org> | 2019-12-22 10:29:46 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-01-02 22:58:05 -0700 |
| commit | b7188e8c1bfe0e148c3d3e6d08a9004cdfb2264d (patch) | |
| tree | de322e24e4ffb17a783b14fada8f0bfb0f1304a5 /man/man1 | |
| parent | 78168bfef1fa508b5c37220d068d8835184a0404 (diff) | |
build: only include GNUInstallDirs once
Avoid including the utility once, which should avoid some unnecessary
CMake checks, and reduces duplication.
Diffstat (limited to 'man/man1')
0 files changed, 0 insertions, 0 deletions