Ticket #53800: makefile.diff
File makefile.diff, 901 bytes (added by jjstickel (Jonathan Stickel), 8 years ago) |
---|
-
Makefile
old new 1 gitexecdir = ${shellgit --exec-path}2 gitmanpath = ${shellgit --man-path}1 gitexecdir = (destroot)${shell (prefix)/bin/git --exec-path} 2 gitmanpath = (destroot)${shell (prefix)/bin/git --man-path} 3 3 4 4 -include ./config.mak 5 5 … … 8 8 endif 9 9 10 10 BASH_PATH_SQ = $(subst ','\'',$(BASH_PATH)) 11 GIT_LATEXDIFF_VERSION=${shell git describe --tags HEAD 2>/dev/null || \ 12 echo unknown-version} 11 GIT_LATEXDIFF_VERSION=v(version) 13 12 gitexecdir_SQ = $(subst ','\'',$(gitexecdir)) 14 13 gitmanpath_SQ = $(subst ','\'',$(gitmanpath)) 15 14 … … 31 30 install: install-bin install-doc 32 31 33 32 install-bin: 33 mkdir -p ${gitexecdir} 34 34 sed -e '1s|#!.*/bash|#!$(BASH_PATH_SQ)|' \ 35 35 -e 's|@GIT_LATEXDIFF_VERSION@|$(GIT_LATEXDIFF_VERSION)|' \ 36 36 $(SCRIPT) > '$(gitexecdir_SQ)/$(SCRIPT)'