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 af67952c07..30c29ddd92 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 $(HTMLDIR)/howto $(HTMLDIR)/guide html-single pdf guide +release: manpages htmlman html html-single pdf guide # Global rules |