summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c4c9cd3)
raw | patch | inline | side by side (parent: c4c9cd3)
author | Jonas Fonseca <fonseca@diku.dk> | |
Thu, 31 May 2007 09:56:52 +0000 (11:56 +0200) | ||
committer | Jonas Fonseca <fonseca@diku.dk> | |
Thu, 31 May 2007 10:16:25 +0000 (12:16 +0200) |
Additionally, allow VERSION to be overwritten from the command
line by setting DIST_VERSION.
line by setting DIST_VERSION.
Makefile | patch | blob | history |
diff --git a/Makefile b/Makefile
index ccc7e09488a95943e7969f8c5eab741636d34dba..57196b0b2b697f2e284f234064f724bb875bc64d 100644 (file)
--- a/Makefile
+++ b/Makefile
docdir = $(prefix)/share/doc
# DESTDIR=
-# Get version either via git or from VERSION file
+# Get version either via git or from VERSION file. Allow either
+# to be overwritten by setting DIST_VERSION on the command line.
ifneq (,$(wildcard .git))
GITDESC = $(subst tig-,,$(shell git describe))
WTDIRTY = $(if $(shell git-diff-index HEAD 2>/dev/null),-dirty)
else
VERSION = $(shell test -f VERSION && cat VERSION || echo "unknown-version")
endif
+ifdef DIST_VERSION
+VERSION = $(DIST_VERSION)
+endif
+
RPM_VERSION = $(subst -,.,$(VERSION))
LDLIBS = -lcurses
rpmbuild -ta $(TARNAME).tar.gz
# Maintainer stuff
-sync-docs:
+release-doc:
git checkout release && \
git merge master && \
make clean doc-man doc-html && \
git commit -m "Sync docs" && \
git checkout master
+release-dist: release-doc
+ git checkout release && \
+ make dist && \
+ git checkout master
+
.PHONY: all all-debug doc doc-man doc-html install install-doc \
install-doc-man install-doc-html clean spell-check dist rpm