Makefile
changeset 796 75b1b25fe0d7
parent 793 79cb72e82b21
child 858 b797071ebbd4
equal deleted inserted replaced
795:3b23c75920a3 796:75b1b25fe0d7
    47 	@mkdir -p ${DESTDIR}${PREFIX}/bin
    47 	@mkdir -p ${DESTDIR}${PREFIX}/bin
    48 	@cp -f dwm ${DESTDIR}${PREFIX}/bin
    48 	@cp -f dwm ${DESTDIR}${PREFIX}/bin
    49 	@chmod 755 ${DESTDIR}${PREFIX}/bin/dwm
    49 	@chmod 755 ${DESTDIR}${PREFIX}/bin/dwm
    50 	@echo installing manual page to ${DESTDIR}${MANPREFIX}/man1
    50 	@echo installing manual page to ${DESTDIR}${MANPREFIX}/man1
    51 	@mkdir -p ${DESTDIR}${MANPREFIX}/man1
    51 	@mkdir -p ${DESTDIR}${MANPREFIX}/man1
    52 	@sed 's/VERSION/${VERSION}/g' < dwm.1 > ${DESTDIR}${MANPREFIX}/man1/dwm.1
    52 	@sed "s/VERSION/${VERSION}/g" < dwm.1 > ${DESTDIR}${MANPREFIX}/man1/dwm.1
    53 	@chmod 644 ${DESTDIR}${MANPREFIX}/man1/dwm.1
    53 	@chmod 644 ${DESTDIR}${MANPREFIX}/man1/dwm.1
    54 
    54 
    55 uninstall:
    55 uninstall:
    56 	@echo removing executable file from ${DESTDIR}${PREFIX}/bin
    56 	@echo removing executable file from ${DESTDIR}${PREFIX}/bin
    57 	@rm -f ${DESTDIR}${PREFIX}/bin/dwm
    57 	@rm -f ${DESTDIR}${PREFIX}/bin/dwm