Change crew to compress info also

817b4ea0 · Kazushi (Jam) Marukawa · 89b18e3b · 817b4ea0
Commit 817b4ea0 authored Jun 26, 2017 by Kazushi (Jam) Marukawa
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

crew crew +2 -0

No files found.
--- a/crew
+++ b/crew
@@ -429,7 +429,9 @@ def prepare_package (destdir)
  Dir.chdir destdir do
    # compress manual files
    system "compressdoc --gzip -9 #{destdir}#{CREW_PREFIX}/man > /dev/null" unless CREW_NOT_COMPRESS
+    system "compressdoc --gzip -9 #{destdir}#{CREW_PREFIX}/info > /dev/null" unless CREW_NOT_COMPRESS
    system "compressdoc --gzip -9 #{destdir}#{CREW_PREFIX}/share/man > /dev/null" unless CREW_NOT_COMPRESS
+    system "compressdoc --gzip -9 #{destdir}#{CREW_PREFIX}/share/info > /dev/null" unless CREW_NOT_COMPRESS

    # create directory list
    system "find . -type f > ../filelist"