move DESTDIR to BIN/MANDIR

a-nikolaev / curseofwar

A Real Time Strategy game for Linux.

http://a-nikolaev.github.io/curseofwar/

GNU General Public License v3.0

320 stars 34 forks source link

move DESTDIR to BIN/MANDIR #12

Closed md2501 closed 11 years ago

md2501 commented 11 years ago

Afaik this is the standard procedure and enables more flexible handling of make install. For example: make DESTDIR=$PKG MANPREFIX=/usr/man install instead of make DESTDIR=$PKG MANPREFIX=$PKG/usr/man install

a-nikolaev commented 11 years ago

Yeah, you are right.