diff options
| -rw-r--r-- | Doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index 7487f15065..b3e281f380 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -61,7 +61,7 @@ VERSION=1.5 # These must be declared phony since there # are directories with matching names: -.PHONY: api ext lib mac ref tut +.PHONY: api doc ext lib mac ref tut .PHONY: html info |