diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:24:11 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-17 21:24:11 +0000 |
| commit | eb95db64b07f8f9daac9944751803506fdfbd577 (patch) | |
| tree | 8aa79e50c3946d8c53125cceb184efe5cd2ac39c /scripts/Makefile | |
| parent | a7a8e4481bce810d077ea682b8379535a20931c9 (diff) | |
| download | vericert-eb95db64b07f8f9daac9944751803506fdfbd577.tar.gz vericert-eb95db64b07f8f9daac9944751803506fdfbd577.zip | |
Clean up scripts some more
Diffstat (limited to 'scripts/Makefile')
| -rw-r--r-- | scripts/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
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 |