Generate gzipped variation of final output

1 files changed, 4 insertions, 0 deletions

diff --git a/mkdeps.sh b/mkdeps.sh
index 505ccff..388746c 100755
--- a/mkdeps.sh
+++ b/mkdeps.sh
@@ -48,6 +48,10 @@ files    | sed 's/^\(.*\)\.adoc$/\1.htmlbody\t\1.snippets\t\1.conf:\t\1.adoc/'
 files    | sed 's/^\(.*\)\.adoc$/\1.html:\t\1.conf\t\1.htmlbody/'
 printf '\n'
 
+files    | sed 's/^\(.*\)\.adoc$/\1.html.gz:\t\1.html/'
+listings | sed 's|^\(.*\)/index\.adoc$|\1/feed.xml.gz:\t\1/feed.xml|'
+printf '\n'
+
 articles | sed 's/^\(.*\)\.adoc$/\1.feedentry:\t\1.conf\t\1.htmlbody/'
 articles | sed 's/^\(.*\)\.adoc$/\1.sortdata:\t\1.conf/'
 printf '\n'