diff options
| -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 |