diff options
| author | Erich Eckner <git@eckner.net> | 2016-05-09 16:16:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-05-10 13:51:03 +0200 |
| commit | eda048be6d04d7d6f4f67aa0fd4abde775fa9c9a (patch) | |
| tree | 637addce80b3d05417cb06f7708332df1c0bc2f9 | |
| parent | 14366701da49cfcae87e693848f349265d8fefee (diff) | |
| download | Musik-eda048be6d04d7d6f4f67aa0fd4abde775fa9c9a.tar.xz | |
Machdatei neu
| -rw-r--r-- | Machdatei | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Machdatei b/Machdatei new file mode 100644 index 0000000..fcd9eaf --- /dev/null +++ b/Machdatei @@ -0,0 +1,14 @@ +! ^%DIRNAME/hr$ +! /chr$ +! /a5$ +! /.git/ +-r %DIRNAME + +%nurohne'/parts/'%dirname/%dirname(-1).pdf: +%nurmit'/parts/'%dirname(0,-1)/%dirname(-2,-1).pdf: + ^%DIRNAME/.*/.*\.ly$ + + %nurmit'%dirname/%dirname(-1).ly' \ + echo "lilypond %ifile"; \ + cd %dirname; \ + lilypond %ifile; |