16 lines
465 B
Plaintext
16 lines
465 B
Plaintext
|
#!/bin/zsh
|
||
|
|
_DEPENDENCIES+=()
|
||
|
|
_REQUIRED_ENV+=()
|
||
|
|
source ${0:a:h}/common.zsh
|
||
|
|
#####################################################################
|
||
|
|
|
||
|
|
GET_PDF() {
|
||
|
|
local FILENAME=$(GET_MAIN_LATEX_FILENAME "$1" | sed 's/\.[^.]*$/.pdf/')
|
||
|
|
[ $FILENAME ] && [ -f $FILENAME ] || __FAIL 1 "no compiled pdf found for '$1'; have you run 'build-pdf'?"
|
||
|
|
__SUCCESS 'found main pdf'
|
||
|
|
echo $FILENAME
|
||
|
|
}
|
||
|
|
|
||
|
|
#####################################################################
|
||
|
|
GET_PDF $@
|