Unnamed repository; edit this file 'description' to name the repository.
git clone git://
Log | Files | Refs | README | LICENSE

commit 2d1f9177b86b57691c975313948556e40140fcf6
parent 1c75314faf5a6d6a9d330b01d50ebbf0cd424b15
Author: Hiltjo Posthuma <>
Date:   Fri, 29 May 2020 16:12:46 +0200

Makefile: add target .PHONY back

Whoops, forgot to add it in the refactor.

MMakefile | 2+-
1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile @@ -65,4 +65,4 @@ uninstall: rm -f ${DESTDIR}${PREFIX}/bin/${NAME}-?? rm -f ${DESTDIR}${MANPREFIX}/man1/${MAN1} -.PHONY: all clean dist install uninstall +.PHONY: all clean dist options install uninstall