changeset 70:cd85000d6774 default tip @

make: create man directories
author David Demelier <markand@malikania.fr>
date Wed, 11 Mar 2020 19:53:36 +0100
parents 6c85847f4919
children
files Makefile
diffstat 1 files changed, 2 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Wed Oct 16 13:02:51 2019 +0200
+++ b/Makefile	Wed Mar 11 19:53:36 2020 +0100
@@ -105,7 +105,8 @@
 
 install: ${PROG}
 	mkdir -p ${DESTDIR}${BINDIR}
-	mkdir -p ${DESTDIR}${MANDIR}
+	mkdir -p ${DESTDIR}${MANDIR}/man1
+	mkdir -p ${DESTDIR}${MANDIR}/man5
 	cp miner ${DESTDIR}${BINDIR}/miner
 	chmod 0755 ${DESTDIR}${BINDIR}/miner
 	cp man/miner.1 ${DESTDIR}${MANDIR}/man1/miner.1