summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Politz <politza@hochschule-trier.de>2017-09-12 16:08:12 +0200
committerAndreas Politz <politza@hochschule-trier.de>2017-09-12 16:09:39 +0200
commite699e3f0889394cbb7679bc1d5c430f8e0d766b1 (patch)
tree5ab41e8f9b82bb828c4af3e7b7b541cf9f5a4838
parentcefaf68e675e9c74276a65c8d8d977934c91d74d (diff)
Make epdfinfo depend on its sources
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index dd389a7..3767744 100644
--- a/Makefile
+++ b/Makefile
@@ -76,7 +76,7 @@ distclean: clean server-distclean
rm -rf -- .cask
# Server targets
-server/epdfinfo: server/Makefile
+server/epdfinfo: server/Makefile server/*.[ch]
$(MAKE) -C server
server/Makefile: server/configure