diff options
author | Ariadna Vigo <arivigodr@gmail.com> | 2020-06-23 12:36:30 +0200 |
---|---|---|
committer | Ariadna Vigo <arivigodr@gmail.com> | 2020-06-23 12:36:30 +0200 |
commit | b1e754648e53edbb140d816a2fb482004b25935f (patch) | |
tree | 927c51238a150b09d9fafd8c36ec977531720ade | |
parent | ef04c7b94f2308bce2292893ee0571a88c19cffa (diff) |
Makefile: Removing unneeded stdin-redirection
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -34,8 +34,8 @@ install: all cp -f minitimer ${DESTDIR}${PREFIX}/bin chmod 755 ${DESTDIR}${PREFIX}/bin/minitimer mkdir -p ${DESTDIR}${MANPREFIX}/man1 - sed "s/VERSION/${VERSION}/g" < minitimer.1 > \ - ${DESTDIR}${MANPREFIX}/man1/minitimer.1 + sed "s/VERSION/${VERSION}/g" minitimer.1\ + > ${DESTDIR}${MANPREFIX}/man1/minitimer.1 chmod 644 ${DESTDIR}${MANPREFIX}/man1/minitimer.1 uninstall: |