diff options
author | Jack Lloyd <[email protected]> | 2019-03-31 07:41:48 -0400 |
---|---|---|
committer | Jack Lloyd <[email protected]> | 2019-03-31 07:41:48 -0400 |
commit | 7beb65eb60767330b1d0acc76517109f54c61e0d (patch) | |
tree | dbbe441908c9d04faf65ae9a3c226805933f84a5 | |
parent | 6f8a696962c3aa605e9e5a53710c96dcb8477c9f (diff) | |
parent | 47ed9a423277c0ac68e523b0008626b446454dbe (diff) |
Merge GH #1874 Fix .PHONY syntax
-rw-r--r-- | src/build-data/makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/build-data/makefile.in b/src/build-data/makefile.in index f24b4dbbf..08c9c5421 100644 --- a/src/build-data/makefile.in +++ b/src/build-data/makefile.in @@ -42,7 +42,7 @@ docs: %{doc_stamp_file} # Misc targets %{if make_supports_phony} -.PHONY = all cli libs tests docs clean distclean install +.PHONY: all cli libs tests docs clean distclean install %{endif} %{doc_stamp_file}: %{doc_dir}/manual/*.rst |