From e17e5fe43521c9b32fca095579c67bca594735fe Mon Sep 17 00:00:00 2001
From: Kalle Olavi Niemitalo <kon@iki.fi>
Date: Wed, 15 Sep 2010 23:04:41 +0300
Subject: [PATCH] mkdist: Don't copy manual.html-chunked.tar.gz

---
 contrib/mkdist | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/contrib/mkdist b/contrib/mkdist
index 34914035..173063fe 100755
--- a/contrib/mkdist
+++ b/contrib/mkdist
@@ -123,7 +123,8 @@ printf "%s\n" "$commit" > "$tmpdir/elinks/git-commit-id"
 
 if [ -n "$docdir" ]; then
 	mkdir -- "$tmpdir/elinks/doc/html"
-	cp -r -- "$docdir"/*.html* "$tmpdir/elinks/doc/html/"
+	cp -r -- "$docdir"/*.html "$tmpdir/elinks/doc/html/"
+	cp -r -- "$docdir"/*.html-chunked "$tmpdir/elinks/doc/html/"
 	# mkdir doc/pdf
 	# cp "$docdir"/*.pdf doc/pdf
 else