diff options
Diffstat (limited to 'Zwischengesang/Makefile')
| -rw-r--r-- | Zwischengesang/Makefile | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/Zwischengesang/Makefile b/Zwischengesang/Makefile new file mode 100644 index 0000000..4a6b81d --- /dev/null +++ b/Zwischengesang/Makefile @@ -0,0 +1,22 @@ +CURDOC=$(shell basename "$(CURDIR)") + +all: $(CURDOC).pdf + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' || true + +clean: + rm -f *.pre + +Clean: clean + rm -f *.pdf *.midi + +include ../.meta/*.mk + +%.pre: %.ly + cat "$<" > "$@" + +%.post: %.pre $(patsubst %.ly,%.pre, $(shell find . -name '*.ly')) + m4 <"$<" >"$@" + +%.pdf: %.post + lilypond $< + pkill -SIGHUP -xf "mupdf(-x11)? $@" || true |