diff --git a/doc/make.texi b/doc/make.texi index e3a3ade4..edceee76 100644 --- a/doc/make.texi +++ b/doc/make.texi @@ -7352,7 +7352,7 @@ marking an archive file up to date: @example archive.a: @dots{} -ifneq (,$(findstring t,$(word 1,-$(MAKEFLAGS)))) +ifneq (,$(findstring t,$(firstword -$(MAKEFLAGS)))) +touch archive.a +ranlib -t archive.a else