diff options
author | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 19:03:33 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2023-01-28 19:03:33 +0100 |
commit | ae490457aadf191c3d4a5ea1d6ebe25f322f81a9 (patch) | |
tree | fdd6ded500905d082e866b7ed85848d8d0687159 /Makefile | |
parent | 041bc818209a872ed0840a3961fe20fda93f9986 (diff) | |
download | ekdosis-ae490457aadf191c3d4a5ea1d6ebe25f322f81a9.tar.gz |
Makefile: use typeoutfileinfo instead of ltxfileinfo
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 |