diff options
| author | Erich Eckner <git@eckner.net> | 2018-12-04 16:03:35 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-12-04 16:03:35 +0100 |
| commit | 9dd8fd69694a46e9b3f1f95c35198dba71a8a6b4 (patch) | |
| tree | 3164a15467aa9800d3346d3275e0c8f32e11d504 /Makefile | |
| parent | ab8279240e7c3b4115c10f487bfeca89d0c89b32 (diff) | |
| download | Rechner-9dd8fd69694a46e9b3f1f95c35198dba71a8a6b4.tar.xz | |
diverses
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 4 insertions, 2 deletions
@@ -1,7 +1,9 @@ -%.png: %.dot +%.in: %.dot + sed "$(shell sed 's/^#DEFINE \(\S\+\) \(.*\)$$/s@\1@\2@g/; t; d' "$<")" "$<" > "$@" + +%.png: %.in dot -Tpng -o$@ $< all: graph.png .PHONY: all - |