diff options
| author | Erich Eckner <git@eckner.net> | 2019-04-05 09:02:56 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-04-05 09:02:56 +0200 |
| commit | 915ac35806f6fee64743f83771f38503dd53c4d9 (patch) | |
| tree | faf0ea16281d75ca3b3aca6ef948dc381c4aff88 /Er_ist_mein_Hirt | |
| parent | c9dfa2020a4a13e5b9ae913a27179411d2402884 (diff) | |
| download | Musik-915ac35806f6fee64743f83771f38503dd53c4d9.tar.xz | |
Er_ist_mein_Hirt: Makefile soll auch mupdf refreshen
Diffstat (limited to 'Er_ist_mein_Hirt')
| -rw-r--r-- | Er_ist_mein_Hirt/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Er_ist_mein_Hirt/Makefile b/Er_ist_mein_Hirt/Makefile index ef6dedf..d949731 100644 --- a/Er_ist_mein_Hirt/Makefile +++ b/Er_ist_mein_Hirt/Makefile @@ -8,6 +8,7 @@ else endif all: $(CURDOC).pdf + pkill -SIGHUP -xf 'mupdf(-x11)? (.*/)?$<' clean: rm -f *.pre |