# HG changeset patch # User Steve Losh # Date 1458941786 0 # Node ID 153e4af91684ad06913f3d6489e2130657216cae # Parent d4ff64dea170455421af1a0d13cfa1d1b1b6c5de Add latex rendering script diff -r d4ff64dea170 -r 153e4af91684 bin/render-latex --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/bin/render-latex Fri Mar 25 21:36:26 2016 +0000 @@ -0,0 +1,8 @@ +#!/usr/bin/env bash + +set -e + +LATEX_FILE=$(ls *.latex) +LATEX_NAME=$(echo $LATEX_FILE | sed -e 's/\..*//') + +echo $LATEX_FILE | peat "loltex $LATEX_NAME"