diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1,4 +1,5 @@ | |||
1 | pkg := oldstandard | 1 | pkg := oldstandard |
2 | SHELL = bash | ||
2 | ver := $(shell grep '\\edef\\pkgver' $(pkg).tex | grep -Eo '[0-9]{1,}\.[0-9]{1,}[a-z]{,1}') | 3 | ver := $(shell grep '\\edef\\pkgver' $(pkg).tex | grep -Eo '[0-9]{1,}\.[0-9]{1,}[a-z]{,1}') |
3 | TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME') | 4 | TEXMFDIR := $(shell kpsewhich -expand-var='$$TEXMFHOME') |
4 | HOMEDIR := $$HOME | 5 | HOMEDIR := $$HOME |