add 'html' to release target so as to include output/devel/*

(This used to be commit 33497c9f9eb336fa23f1f1db6fb9a17077cbf852)

diff --git a/docs/Makefile.in b/docs/Makefile.in
index af67952c079eea5d939798b0738829e5482369ae..30c29ddd9255d02f643bafcfdf872abaeac65891 100644 (file)
--- 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