diff options
author | Erich Eckner <git@eckner.net> | 2019-02-07 08:51:37 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2019-02-07 08:51:37 +0100 |
commit | 702707b2cd3668163a43ed15b369f1aa877c9a4d (patch) | |
tree | 84feae6f176aaeaad1812c64ebffe11e1d1f9b28 | |
parent | 9dd8fd69694a46e9b3f1f95c35198dba71a8a6b4 (diff) | |
download | Rechner-702707b2cd3668163a43ed15b369f1aa877c9a4d.tar.xz |
Makefile: refresh feh, too
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -1,9 +1,10 @@ +all: graph.png + pkill -SIGUSR1 -f 'feh (.* )*graph\.png( .*)*' + %.in: %.dot sed "$(shell sed 's/^#DEFINE \(\S\+\) \(.*\)$$/s@\1@\2@g/; t; d' "$<")" "$<" > "$@" %.png: %.in dot -Tpng -o$@ $< -all: graph.png - .PHONY: all |