diff options
| author | Erich Eckner <git@eckner.net> | 2016-05-04 14:00:52 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-05-04 14:00:52 +0200 |
| commit | 7a87e454030601b535fae7d287207686c42ccb73 (patch) | |
| tree | 1b6a79b2e8ebaed1e37f158657d287cacb64269d | |
| parent | 8a5db28fd8559b41d97516cc90b8b744964e600a (diff) | |
| download | sound-cutter-7a87e454030601b535fae7d287207686c42ccb73.tar.xz | |
neue Version: 1.0.2v1.0.2
| -rw-r--r-- | Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -23,14 +23,14 @@ DESTDIR = BINDIR = /usr/bin MANDIR = /usr/share/man -VERSION = 1.0.1 +VERSION = 1.0.2 all: sound-cutter sound-cutter.8 %: %.in sed "s/#VERSION#/$(VERSION)/; s@#BINDIR#@$(BINDIR)@" $< > $@ -.PHONY: install clean +.PHONY: install dist clean install: all install -D -m0755 sound-cutter $(DESTDIR)$(BINDIR)/sound-cutter @@ -39,4 +39,11 @@ install: all clean: rm -f sound-cutter{,.8} +dist: clean + git status --porcelain 2> /dev/null | grep -q "\S" && (git add .; git commit -m"neue Version: $(VERSION)") || true + git tag -d v$(VERSION) && git push origin --delete v$(VERSION) || true + git tag v$(VERSION) + git push --force + git push --tags + # End of file |