aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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