From d299eb38814629662a0a062d2ef3d930b6be0bb5 Mon Sep 17 00:00:00 2001 From: Charadon Date: Sat, 8 Oct 2022 22:33:57 -0400 Subject: Makefile: Compress dscip.info with gzip --- Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile b/Makefile index e41709d..8d3eac1 100644 --- a/Makefile +++ b/Makefile @@ -27,6 +27,7 @@ html: info: makeinfo docs/manual.tex || gmakeinfo docs/manual.tex + gzip dscip.info uninstall: rm -rf $(SCRIPT_DIR)/../.. -- cgit 1.4.1-2-gfad0