On 1 February 2015 02:28:53 CET, Dominyk Tiller <dominyktiller at gmail.com> wrote: >Please find a diff attached. It's important that MANDIR be defined in terms of PREFIX because I don't want to install to /usr/local if I redefined prefix to ~/bin for instance. Looks good otherwise, mandir is the standard name indeed. -- Gabriel