]> git.cworth.org Git - notmuch/commit
configure: set 'infodir'
authorDavid Bremner <david@tethera.net>
Mon, 21 May 2018 20:08:50 +0000 (13:08 -0700)
committerDavid Bremner <david@tethera.net>
Sat, 26 May 2018 15:26:02 +0000 (08:26 -0700)
commit7e3575c0ca01211f8b16740bb0702c852b4e02ff
tree769c13545ca6daa2535d5faf5c261488720fb155
parentdb666126cd054ae9b0900afcc6e0009f20c45e50
configure: set 'infodir'

This turns --infodir from an ignored option into a real one
configure