diff options
Diffstat (limited to 'makefile')
-rw-r--r-- | makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,5 +1,5 @@ | |||
1 | pkg := oldstandard | 1 | pkg := oldstandard |
2 | SHELL = bash | 2 | SHELL = /usr/local/bin/bash |
3 | PWD = $(shell pwd) | 3 | PWD = $(shell pwd) |
4 | #ver := $(shell grep '\\edef\\pkgver' $(pkg).tex | grep -Eo '[0-9]{1,}\.[0-9]{1,}[a-z]{,1}') | 4 | #ver := $(shell grep '\\edef\\pkgver' $(pkg).tex | grep -Eo '[0-9]{1,}\.[0-9]{1,}[a-z]{,1}') |
5 | ver := $(shell grep '\\edef\\pkgver' oldstandard.tex | egrep -o '[0-9]{1,}\.[0-9]{1,}\-?[a-z]?') | 5 | ver := $(shell grep '\\edef\\pkgver' oldstandard.tex | egrep -o '[0-9]{1,}\.[0-9]{1,}\-?[a-z]?') |