diff options
| -rw-r--r-- | Makefile.local | 19 |
1 files changed, 18 insertions, 1 deletions
diff --git a/Makefile.local b/Makefile.local index f93532b75d..f0e53b3abb 100644 --- a/Makefile.local +++ b/Makefile.local @@ -1,4 +1,21 @@ +VERSION=$(shell git describe --long --tags | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g') + .PHONY: all -all: +all: build install fake + +.PHONY: build +build: $(MAKE) prefix=$$HOME/local/git all doc + +.PHONY: install +install: $(MAKE) prefix=$$HOME/local/git install install-doc install-html + +.PHONY: fake +fake: + makefake --name=git --version=$(VERSION) git + +.PHONY: doc +doc: + $(MAKE) prefix=$$HOME/local/git doc + $(MAKE) prefix=$$HOME/local/git install-doc install-html |