diff options
| -rwxr-xr-x | bin/tex2pdf | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/bin/tex2pdf b/bin/tex2pdf index 7a8dcf1..d892300 100755 --- a/bin/tex2pdf +++ b/bin/tex2pdf @@ -97,9 +97,18 @@ function cleanup() */*.{acn,acr,alg,aux,bbl,bcf,blg,dvi,glg,glo,gls,glsdefs,idx,ist,lof,log,lot,nav,out,run.xml,snm,toc,upa,upb,vrb,xdy} } +render_diags() { + if [ -d "${dirname}/diag/" ] && [ -x /usr/bin/seqdiag ] ; then + for _diag in "${dirname}/diag/"*.diag; do + seqdiag -T 'PDF' "${_diag}" + done + fi +} + probe_extension $1 get_filename $1 get_dirname $1 +render_diags echo "tex2pdf: Converting $filename$input_suffix to $filename$output_suffix." probe_tools create_pdf |