From eb95db64b07f8f9daac9944751803506fdfbd577 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 17 Mar 2022 21:24:11 +0000 Subject: Clean up scripts some more --- scripts/Makefile | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) (limited to 'scripts/Makefile') diff --git a/scripts/Makefile b/scripts/Makefile index e31a6fd..f6421f4 100644 --- a/scripts/Makefile +++ b/scripts/Makefile @@ -7,7 +7,7 @@ all: synthesis %.1: %.org emacs --batch --file $< --load ../docs/res/publish.el --funcall org-man-export-to-man - cp $(<:.org=.man) $@ + mv $(<:.org=.man) $@ install: synthesis-results synthesis-results.1 install -d $(PREFIX)/bin @@ -15,4 +15,8 @@ install: synthesis-results synthesis-results.1 install -d $(PREFIX)/share/man/man1 install -C synthesis-results.1 $(PREFIX)/share/man/man1 +clean: + rm -f synthesis-results synthesis-results.1 + rm -f *.link + .PHONY: all install -- cgit