diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index e7d63949..f8cc3020 100644 --- a/Makefile.in +++ b/Makefile.in @@ -347,3 +347,5 @@ uninstall-man: endif # Not --local endif # No extra MAKEFLAGS were added + +.PHONY: build $(patsubst %,build-%,$(TARGETS)) install |