diff options
author | FRIGN <dev@frign.de> | 2016-01-06 18:41:30 +0100 |
---|---|---|
committer | FRIGN <dev@frign.de> | 2016-01-06 18:41:47 +0100 |
commit | 7cf7ba92588f6013b95cdec0545545275d37a6af (patch) | |
tree | c37d98d9ca174f41084dc400e948052c074c6727 | |
parent | add6f5c09238ff797dede77eea1ce30ec85bdc13 (diff) |
Add 'dist' to .PHONY
Thanks Dimitris for reporting this!
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -45,4 +45,4 @@ uninstall: @cd "${DESTDIR}${MANPREFIX}/man1" && rm -f ${MAN1} @cd "${DESTDIR}${MANPREFIX}/man5" && rm -f ${MAN5} -.PHONY: all clean install uninstall +.PHONY: all clean dist install uninstall |