diff options
author | David Runge <dave@sleepmap.de> | 2019-08-07 00:30:30 +0200 |
---|---|---|
committer | David Runge <dave@sleepmap.de> | 2019-08-07 00:30:30 +0200 |
commit | f35717cad68218bd7a91f213be17ee56a13f8ded (patch) | |
tree | ea1240f2b6564a3b10da485b551fab21eb213d7e /bin/tex2pdf | |
parent | 661c52862ca96b2787193929ee7c3a1d4d897cf9 (diff) | |
download | dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.gz dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.bz2 dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.tar.xz dotfiles-f35717cad68218bd7a91f213be17ee56a13f8ded.zip |
bin/tex2pdf: Adding the rendering of .diag files using seqdiag.
Diffstat (limited to 'bin/tex2pdf')
-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 |