diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile.in b/docs/Makefile.in index 30c29ddd92..94ae43ad05 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -89,7 +89,7 @@ all: @TARGETS@ everything: manpages pdf html-single html htmlman txt ps -release: manpages htmlman html html-single pdf guide +release: manpages htmlman html pdf guide # Global rules |