diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 8 |
2 files changed, 5 insertions, 4 deletions
@@ -1 +1,2 @@ /public/ +/dependencies.svg @@ -20,12 +20,12 @@ dev-check: check clean: rm -rf public/ -public/dependencies.svg: dependencies.dot - mkdir -p public - dot dependencies.dot -Tsvg > public/dependencies.svg +dependencies.svg: dependencies.dot + dot dependencies.dot -Tsvg > dependencies.svg -public: README.md TODOs.md public/dependencies.svg +public: README.md TODOs.md dependencies.svg sh aux/workflow/public.sh "EuAndreh's package repository" package-repository public-inbox cp EuAndreh.key public/ + cp dependencies.svg public/ .PHONY: all clean check refresh |