# HG changeset patch
# User Ruslan Ermilov <ru@nginx.com>
# Date 1523376006 -10800
# Node ID 51ce1baf7b67da3f53162be1bfc7b2d76cb30a59
# Parent  231cad90a82345256b1f87fabc9200d1192634d5
Gzip everything again.

diff -r 231cad90a823 -r 51ce1baf7b67 GNUmakefile
--- a/GNUmakefile	Wed Apr 11 14:03:37 2018 +0300
+++ b/GNUmakefile	Tue Apr 10 19:00:06 2018 +0300
@@ -271,7 +271,7 @@
 do_gzip:	$(addsuffix .gz, $(wildcard $(ZIP)/*.html))		\
 		$(addsuffix .gz,					\
 			$(foreach lang, $(LANGS),			\
-			$(foreach dir, . docs docs/faq docs/http docs/mail docs/stream, \
+			$(foreach dir, . docs docs/dev docs/faq docs/http docs/mail docs/njs docs/stream, \
 			$(wildcard $(ZIP)/$(lang)/$(dir)/*.html))))	\
 		$(ZIP)/index.rss.gz					\
 		$(ZIP)/LICENSE.gz					\