aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2023-01-28 19:03:33 +0100
committerRobert Alessi <alessi@robertalessi.net>2023-01-28 19:03:33 +0100
commitae490457aadf191c3d4a5ea1d6ebe25f322f81a9 (patch)
treefdd6ded500905d082e866b7ed85848d8d0687159
parent041bc818209a872ed0840a3961fe20fda93f9986 (diff)
downloadekdosis-ae490457aadf191c3d4a5ea1d6ebe25f322f81a9.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 69dd727..8839dac 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,8 @@ NAME = ekdosis
2SHELL = bash 2SHELL = bash
3CMP = lualatex-dev 3CMP = lualatex-dev
4PWD = $(shell pwd) 4PWD = $(shell pwd)
5VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//') 5#VERS = $(shell ltxfileinfo -v $(NAME).dtx|sed -e 's/^v//')
6VERS := $(shell typeoutfileinfo $(NAME).dtx | egrep -o '\+.*$$' | awk '{ print $$6 }' | sed -e 's/^v//')
6LOCAL = $(shell kpsewhich --var-value TEXMFLOCAL) 7LOCAL = $(shell kpsewhich --var-value TEXMFLOCAL)
7UTREE = $(shell kpsewhich --var-value TEXMFHOME) 8UTREE = $(shell kpsewhich --var-value TEXMFHOME)
8HOMEDIR := $$HOME 9HOMEDIR := $$HOME