aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2023-01-28 19:04:23 +0100
committerRobert Alessi <alessi@robertalessi.net>2023-01-28 19:04:23 +0100
commit0ef6d4101971d6f0e7508c56451645c95b80cf1d (patch)
tree610dbeaf6660e6350e02d2dbf4f1b00c2df554bb
parent5ee310e4a8a29148dabde6172f5a333de8c90f6a (diff)
downloadarabluatex-0ef6d4101971d6f0e7508c56451645c95b80cf1d.tar.gz
makefile: use typeoutfileinfo instead of ltxfileinfo
-rw-r--r--makefile3
1 files changed, 2 insertions, 1 deletions
diff --git a/makefile b/makefile
index a0a6362..5daff9d 100644
--- a/makefile
+++ b/makefile
@@ -1,5 +1,6 @@
1pkg := arabluatex 1pkg := arabluatex
2VERS := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//') 2#VERS := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//')
3VERS := $(shell typeoutfileinfo $(pkg).dtx | egrep -o '\+.*$$' | awk '{ print $$6 }' | sed -e 's/^v//')
3TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME') 4TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME')
4HOMEDIR := $$HOME 5HOMEDIR := $$HOME
5CMP = lualatex-dev 6CMP = lualatex-dev