X-Git-Url: https://git.danieliu.xyz/?a=blobdiff_plain;f=Makefile;h=d170037280d1be65f84d31b9b5291a187f8f3529;hb=5146c3f27f730b3b37805c1f7b19bbebe312959f;hp=cbe4026b197f24b4b516d2ed5233135f94ec1c1e;hpb=84b56075f4f8ab6326fa99acd57e0ef272092fce;p=dmenu.git

diff --git a/Makefile b/Makefile
index cbe4026..d170037 100644
--- a/Makefile
+++ b/Makefile
@@ -28,6 +28,7 @@ config.h:
 dmenu: ${OBJ}
 	@echo LD $@
 	@${CC} -o $@ ${OBJ} ${LDFLAGS}
+	@strip $@
 
 clean:
 	@echo cleaning
@@ -49,7 +50,7 @@ install: all
 	@chmod 755 ${DESTDIR}${PREFIX}/bin/dmenu
 	@echo installing manual page to ${DESTDIR}${MANPREFIX}/man1
 	@mkdir -p ${DESTDIR}${MANPREFIX}/man1
-	@cp -f dmenu.1 ${DESTDIR}${MANPREFIX}/man1
+	@sed 's/VERSION/${VERSION}/g' < dmenu.1 > ${DESTDIR}${MANPREFIX}/man1/dmenu.1
 	@chmod 644 ${DESTDIR}${MANPREFIX}/man1/dmenu.1
 
 uninstall: