diff options
| author | David Bremner <david@tethera.net> | 2018-05-21 13:08:50 -0700 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-05-26 08:26:02 -0700 |
| commit | 7e3575c0ca01211f8b16740bb0702c852b4e02ff (patch) | |
| tree | 769c13545ca6daa2535d5faf5c261488720fb155 /Makefile.local | |
| parent | db666126cd054ae9b0900afcc6e0009f20c45e50 (diff) | |
configure: set 'infodir'
This turns --infodir from an ignored option into a real one
Diffstat (limited to 'Makefile.local')
0 files changed, 0 insertions, 0 deletions