diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/Makefile b/manual/Makefile index 54a3a468f9..7197ecf7a9 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -107,6 +107,8 @@ glibc-doc-$(edition).tar: $(doc-only-dist) $(distribute) # The parent makefile sometimes invokes us with targets `subdir_REAL-TARGET'. subdir_%: % ; +# For targets we don't define, do nothing. +subdir_%: ; .PHONY: mostlyclean distclean realclean clean mostlyclean: |