[Babel-users] Makefile Patch

[Gabriel Kerneis]

Le 2015-02-02 02:57, Juliusz Chroboczek a écrit :
>> +MANDIR = $(PREFIX)/share/man
>
> Dominyk, Gabriel, Julien, I'm tempted to make this $(PREFIX)/man by 
> default.
> Objections?

GNU defaults to $(DATAROOTDIR)/man, where $DATAROOTDIR defaults to 
$(PREFIX)/share. Also, /usr/man does not exist on my Debian, whereas 
/usr/share/man does; so your default would break for PREFIX=/usr. 
I would stick with Dominyk's $(PREFIX)/share/man here.

Best,
-- 
Gabriel