about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorCharadon <dev@iotib.net>2022-10-08 22:33:57 -0400
committerCharadon <dev@iotib.net>2022-10-08 22:33:57 -0400
commitd299eb38814629662a0a062d2ef3d930b6be0bb5 (patch)
tree5844f53a4acea3f8c06554e40c5ee97d61d294e9
parent545ee580eebb7e541c562fa59c1c0a98fcf18f52 (diff)
downloaddscip-master.tar.gz
Makefile: Compress dscip.info with gzip HEAD master
-rw-r--r--Makefile1
1 files changed, 1 insertions, 0 deletions
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)/../..