changeset 1098:3370ab4ee080

core/mandoc: brand Vanilla Linux
author David Demelier <markand@malikania.fr>
date Wed, 11 Sep 2019 21:05:00 +0200
parents 930266b723d4
children e66a5e88a2d7
files core/mandoc/mandoc.sh
diffstat 1 files changed, 1 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/core/mandoc/mandoc.sh	Tue Sep 10 20:43:00 2019 +0200
+++ b/core/mandoc/mandoc.sh	Wed Sep 11 21:05:00 2019 +0200
@@ -39,6 +39,7 @@
 	echo "PREFIX=/" >> configure.local
 	echo "SBINDIR=/bin" >> configure.local
 	echo "MANDIR=/share/man" >> configure.local
+	echo 'OSNAME="Vanilla Linux"' >> configure.local
 	./configure
 	make CC="$CC" CFLAGS="$CFLAGS"
 	make install DESTDIR=$DESTDIR