diff options
| -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 4d72029eca..ce447f131b 100644 --- a/docs/Makefile.in +++ b/docs/Makefile.in @@ -88,7 +88,7 @@ all: everything: manpages pdf html-single html htmlman htmlfaq txt ps -release: manpages htmlman html html-single htmlfaq pdf +release: manpages htmlman html html-single pdf guide # Global rules |