diff options
Diffstat (limited to 'The_armed_man')
| -rw-r--r-- | The_armed_man/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/The_armed_man/Makefile b/The_armed_man/Makefile index fb92f9c..0d2ab77 100644 --- a/The_armed_man/Makefile +++ b/The_armed_man/Makefile @@ -23,3 +23,9 @@ include ../.meta/*.mk %.pdf: %.post lilypond $< pkill -SIGHUP -xf "mupdf(-x11)? $@" || true + +%-midi.midi: %-midi.post + lilypond $< + +%.midi: %-midi.midi + mv $< $@ |