diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 13 |
1 files changed, 11 insertions, 2 deletions
@@ -32,11 +32,12 @@ install: man 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 + gzip -9c < sbodl.1 > $(DESTDIR)$(MAN1DIR)/sbodl.1.gz clean: - rm -f sbopkglint.1 sbolint.1 sbofixinfo.1 + rm -f sbopkglint.1 sbolint.1 sbofixinfo.1 sbodl.1 -man: sbopkglint.1 sbolint.1 sbofixinfo.1 +man: sbopkglint.1 sbolint.1 sbofixinfo.1 sbodl.1 sbolint.1: sbolint ./sbolint --man > sbolint.1 @@ -47,6 +48,14 @@ sbopkglint.1: sbopkglint sbofixinfo.1: sbofixinfo ./sbofixinfo --man > sbofixinfo.1 +sbodl.1: sbodl + ./sbodl --man > sbodl.1 + +version: + sh update-version.sh $(VERSION) + # 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) + +.PHONY: all install clean version release |