diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/manual/Makefile b/manual/Makefile index c5866eb9de..b1f5fa73e5 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -232,7 +232,10 @@ ifdef objpfx .PHONY: stubs stubs: $(objpfx)stubs endif -$(objpfx)stubs ../po/manual.pot $(objpfx)stamp%: +$(objpfx)stubs ../po/manual.pot: + $(make-target-directory) + touch $@ +$(objpfx)stamp%: $(make-target-directory) touch $@ |