diff options
| author | Erich Eckner <git@eckner.net> | 2019-01-22 14:35:48 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-01-22 14:35:48 +0100 |
| commit | 3517ca261786ff0b1ce09123485ca56bb1a761f9 (patch) | |
| tree | aea4601331a8acfb14dacffcfd85967a11a4837a /Missa_in_C/Makefile | |
| parent | 3152ab389c682f5a9defca69a7a1cfe4bfa2d4d1 (diff) | |
| download | Musik-3517ca261786ff0b1ce09123485ca56bb1a761f9.tar.xz | |
Missa_in_C: add refresh to make target "all"
Diffstat (limited to 'Missa_in_C/Makefile')
| -rw-r--r-- | Missa_in_C/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Missa_in_C/Makefile b/Missa_in_C/Makefile index 877ea34..d8c5ae6 100644 --- a/Missa_in_C/Makefile +++ b/Missa_in_C/Makefile @@ -14,6 +14,7 @@ else endif all: $(CURDOC).pdf + pkill -SIGHUP -xf 'mupdf (.*/)?$<' clean: rm -f *.pre |