diff options
author | Paul Smith <psmith@gnu.org> | 2022-08-07 17:29:49 -0400 |
---|---|---|
committer | Paul Smith <psmith@gnu.org> | 2022-08-07 17:32:07 -0400 |
commit | 8f1b6bca46c1e209e1ede83bd8904f7cdf00b090 (patch) | |
tree | db4dacc9ad0d0069eae4b1605439eb0c8b0b5883 /doc | |
parent | 6faa02247ee85244601cfb9baa9d6281faa70c17 (diff) | |
download | make-git-8f1b6bca46c1e209e1ede83bd8904f7cdf00b090.tar.gz |
* doc/make.texi (Goals): [SV 51306] Improve MAKECMDGOALS example
Diffstat (limited to 'doc')
-rw-r--r-- | doc/make.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/make.texi b/doc/make.texi index 430ae11f..b9e232f9 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -8804,7 +8804,7 @@ again:@refill @group sources = foo.c bar.c -ifneq ($(MAKECMDGOALS),clean) +ifeq (,$(filter clean,$(MAKECMDGOALS)) include $(sources:.c=.d) endif @end group |