diff options
| author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-04-05 19:59:49 +0200 |
|---|---|---|
| committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-04-05 20:06:58 +0200 |
| commit | 42b460ca83000c2cdd36fb0ea90deade7072276d (patch) | |
| tree | 578f7479fbc12e0890ea6fa765d341f4c9e13ef1 | |
| parent | 0836f2cb8b9157df48cb1faacd98c099fd8dfd40 (diff) | |
| download | www.replicant.us-42b460ca83000c2cdd36fb0ea90deade7072276d.tar.gz www.replicant.us-42b460ca83000c2cdd36fb0ea90deade7072276d.tar.bz2 www.replicant.us-42b460ca83000c2cdd36fb0ea90deade7072276d.zip | |
Makefile: fix phony targets
Without that fix, after modifying a php file and typing make,
the corresponding html files are not regenerated.
This can be really problematic for contributors that are not familiar
with Makefiles as the behavior was completely counter intuitive.
This fixes the issue and restores the expected behavior.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
| -rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -15,6 +15,7 @@ INSTALL_DIRECTORIES = \ js \ library \ +.PHONY: all all: $(TARGETS) $(DESTDIR): @@ -23,10 +24,12 @@ $(DESTDIR): %.html: %.php php -f $< | sed 's#\.php#\.html#g' > $@ +.PHONY: clean clean: rm -f $(TARGETS) rm -f cache/*.spc +.PHONY: install install: $(DESTDIR) all install -m644 $(TARGETS) -t $(DESTDIR) cp -a $(INSTALL_DIRECTORIES) $(DESTDIR) |