diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2,7 +2,8 @@ NAME = ekdosis | |||
2 | SHELL = bash | 2 | SHELL = bash |
3 | CMP = lualatex-dev | 3 | CMP = lualatex-dev |
4 | PWD = $(shell pwd) | 4 | PWD = $(shell pwd) |
5 | VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//') | 5 | #VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//') |
6 | VERS := $(shell typeoutfileinfo $(NAME).dtx | egrep -o '\+.*$$' | awk '{ print $$6 }' | sed -e 's/^v//') | ||
6 | LOCAL = $(shell kpsewhich --var-value TEXMFLOCAL) | 7 | LOCAL = $(shell kpsewhich --var-value TEXMFLOCAL) |
7 | UTREE = $(shell kpsewhich --var-value TEXMFHOME) | 8 | UTREE = $(shell kpsewhich --var-value TEXMFHOME) |
8 | HOMEDIR := $$HOME | 9 | HOMEDIR := $$HOME |