From adc5f5015dcde68a169af273f9574f3879da7fbd Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sat, 28 Jan 2023 20:58:54 +0100 Subject: makefile: use typeoutfileinfo instead of ltxfileinfo --- Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index fa09f0f..5d4d5de 100644 --- a/Makefile +++ b/Makefile @@ -1,7 +1,8 @@ NAME = icite SHELL = bash 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) CMP = lualatex-dev -- cgit v1.2.3