diff core/mandoc/mandoc.sh @ 549:bad483aace64

vanilla: use prefix= instead
author David Demelier <markand@malikania.fr>
date Sun, 23 Jun 2019 15:13:10 +0200
parents 014d018468fb
children e1b73f64408d
line wrap: on
line diff
--- a/core/mandoc/mandoc.sh	Tue Apr 16 20:01:00 2019 +0200
+++ b/core/mandoc/mandoc.sh	Sun Jun 23 15:13:10 2019 +0200
@@ -37,6 +37,7 @@
 	sed -i -e "/^CC=/ s/CC=.*/CC=$CC/" configure
 	echo "UTF8_LOCALE=en_US.UTF-8" > configure.local
 	echo "PREFIX=/" >> configure.local
+	echo "SBINDIR=/bin" >> configure.local
 	echo "MANDIR=/share/man" >> configure.local
 	./configure
 	make CC="$CC" CFLAGS="$CFLAGS"