Thomas Preud'homme 6d4166df61 Don't prefix $prefix with $(DESTDIR) in configure ...

Prefixing $prefix with $(DESTDIR) is an error as it could lead for
example to mandir being equal to $(DESTDIR)$prefix/man where
$prefix itself is equal to $(DESTDIR)/usr/local which make man be equal
to $(DESTDIR)$(DESTDIR)/usr/local/man

2010-04-15 19:10:59 +02:00

9.1 KiB

Executable File

Raw Blame History

View Raw