From 0ef6d4101971d6f0e7508c56451645c95b80cf1d Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sat, 28 Jan 2023 19:04:23 +0100 Subject: makefile: use typeoutfileinfo instead of ltxfileinfo --- makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/makefile b/makefile index a0a6362..5daff9d 100644 --- a/makefile +++ b/makefile @@ -1,5 +1,6 @@ pkg := arabluatex -VERS := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//') +#VERS := $(shell ltxfileinfo -v $(pkg).dtx|sed -e 's/^v//') +VERS := $(shell typeoutfileinfo $(pkg).dtx | egrep -o '\+.*$$' | awk '{ print $$6 }' | sed -e 's/^v//') TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME') HOMEDIR := $$HOME CMP = lualatex-dev -- cgit v1.2.3