From ae490457aadf191c3d4a5ea1d6ebe25f322f81a9 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sat, 28 Jan 2023 19:03:33 +0100 Subject: Makefile: use typeoutfileinfo instead of ltxfileinfo --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 69dd727..8839dac 100644 --- a/Makefile +++ b/Makefile @@ -2,7 +2,8 @@ NAME = ekdosis SHELL = bash CMP = lualatex-dev PWD = $(shell pwd) -VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//') +#VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//') +VERS := $(shell typeoutfileinfo $(NAME).dtx | egrep -o '\+.*$$' | awk '{ print $$6 }' | sed -e 's/^v//') LOCAL = $(shell kpsewhich --var-value TEXMFLOCAL) UTREE = $(shell kpsewhich --var-value TEXMFHOME) HOMEDIR := $$HOME -- cgit v1.2.3