compress-man-pages: Compress info pages, too

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/src/scripts/compress-man-pages b/src/scripts/compress-man-pages
index 38a5e6d3a2eff9bd9492e2d4ad72ef2781941a51..8f4d6865e1a95bf2305e563cfda0a795768e5f61 100644 (file)
--- a/src/scripts/compress-man-pages
+++ b/src/scripts/compress-man-pages
@@ -43,6 +43,7 @@ main() {
        # Process these directories
        local directories=(
                "${buildroot}/usr/share/man"
+               "${buildroot}/usr/share/info"
        )
 
        echo "Compressing man pages..."