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
_______________________________________________
Babel-users mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/babel-users
