diff options
| -rw-r--r-- | Makefile | 8 | 
1 files changed, 6 insertions, 2 deletions
| @@ -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) | 
