diff options
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 344c01d015..8383a0b447 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -304,4 +304,4 @@ clean: # Always keep intermediate files if we can .SECONDARY: -.PHONY: clean clobber archive release everything all +.PHONY: clean clobber archive release everything all $(TARGETS) |