From d74cd7c2459972efd41a5b2e7bb5dd95c31100cc Mon Sep 17 00:00:00 2001
From: Eric Wong <e@80x24.org>
Date: Fri, 9 Jan 2015 01:31:35 +0000
Subject: Rakefile: add gzipped HTML to the website

We might as well eat our own dog food.
---
 Rakefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Rakefile b/Rakefile
index 5ca0c29..1173eab 100644
--- a/Rakefile
+++ b/Rakefile
@@ -23,7 +23,8 @@ task :rsync_docs do
 
   files = `git ls-files Documentation/*.txt`.split(/\n/)
   files.concat(top)
-  files.concat(%w(NEWS NEWS.atom.xml))
+  files.concat(%w(NEWS))
+  files.concat(Dir["doc/*.html"].to_a)
   gzfiles = files.map { |txt| do_gzip.call(txt) }
   files.concat(gzfiles)
   sh("rsync --chmod=Fugo=r -av #{files.join(' ')} #{dest}")
-- 
cgit v1.2.3-24-ge0c7