aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 515394a..7b45be7 100644
--- a/Makefile
+++ b/Makefile
@@ -31,11 +31,12 @@ install: man
install -m0644 $(DOCS) $(DESTDIR)$(DOCDIR)/
gzip -9c < sbolint.1 > $(DESTDIR)$(MAN1DIR)/sbolint.1.gz
gzip -9c < sbopkglint.1 > $(DESTDIR)$(MAN1DIR)/sbopkglint.1.gz
+ gzip -9c < sbofixinfo.1 > $(DESTDIR)$(MAN1DIR)/sbofixinfo.1.gz
clean:
- rm -f sbopkglint.1 sbolint.1
+ rm -f sbopkglint.1 sbolint.1 sbofixinfo.1
-man: sbopkglint.1 sbolint.1
+man: sbopkglint.1 sbolint.1 sbofixinfo.1
sbolint.1: sbolint
./sbolint --man > sbolint.1
@@ -43,6 +44,9 @@ sbolint.1: sbolint
sbopkglint.1: sbopkglint
./sbopkglint --man > sbopkglint.1
+sbofixinfo.1: sbofixinfo
+ ./sbofixinfo --man > sbofixinfo.1
+
# this requires VERSION in this Makefile to be set to the latest git tag.
release: clean
git archive -o $(PROJ)-$(VERSION).tar.gz --prefix=$(PROJ)-$(VERSION)/ $(VERSION)