2012-12-21 05:41:19 +02:00
|
|
|
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 +)
|
|
|
|
|
2012-12-22 01:25:35 +02:00
|
|
|
.PHONY: title.ps
|
|
|
|
|
2012-12-21 05:41:19 +02:00
|
|
|
title.ps: ../common/title.fig
|
|
|
|
fig2dev -L ps $< | \
|
|
|
|
sed -e "s|<TITLE-NAME>|$(TITLE_NAME)|" \
|
|
|
|
-e "s/<DATE>/`date -u +'%F %T UTC'`/" \
|
|
|
|
-e "s/<HEAD-HASH>/$(GIT_HASH)$(GIT_STATUS)/" \
|
|
|
|
-e "s/<HEAD-DATE>/$(COMMIT_DATE)/" \
|
|
|
|
-e "s|<TITLE-FILE>|$(TITLE_FILE)|" >$@; \
|
|
|
|
[ "$${PIPESTATUS[*]}" = "0 0" ] || { rm -f $@ exit 1; }
|