diff options
author | Charadon <dev@iotib.net> | 2022-10-08 22:33:57 -0400 |
---|---|---|
committer | Charadon <dev@iotib.net> | 2022-10-08 22:33:57 -0400 |
commit | d299eb38814629662a0a062d2ef3d930b6be0bb5 (patch) | |
tree | 5844f53a4acea3f8c06554e40c5ee97d61d294e9 | |
parent | 545ee580eebb7e541c562fa59c1c0a98fcf18f52 (diff) | |
download | dscip-master.tar.gz |
-rw-r--r-- | Makefile | 1 |
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)/../.. |