aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorDavid Runge <dave@sleepmap.de>2019-08-07 00:30:30 +0200
committerDavid Runge <dave@sleepmap.de>2019-08-07 00:30:30 +0200
commitf35717cad68218bd7a91f213be17ee56a13f8ded (patch)
treeea1240f2b6564a3b10da485b551fab21eb213d7e /bin
parent661c52862ca96b2787193929ee7c3a1d4d897cf9 (diff)
downloaddotfiles-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')
-rwxr-xr-xbin/tex2pdf9
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