SHELL = /bin/bash COMMIT_DATE := $(shell date -u +'%F %T UTC' \ -d "`git show --pretty=format:'%ci' | sed q`") GIT_HASH := $(shell git rev-parse HEAD) GIT_STATUS := $(shell [ -z "`git status -s -uno`" ] || echo +) title.ps: ../common/title.fig fig2dev -L ps $< | \ sed -e "s||$(TITLE_NAME)|" \ -e "s//`date -u +'%F %T UTC'`/" \ -e "s//$(GIT_HASH)$(GIT_STATUS)/" \ -e "s//$(COMMIT_DATE)/" \ -e "s||$(TITLE_FILE)|" >$@; \ [ "$${PIPESTATUS[*]}" = "0 0" ] || { rm -f $@ exit 1; }