bin/render-latex @ 09d4b82224fc

New stuff for the debian machine
author Steve Losh <steve@stevelosh.com>
date Sat, 15 Jul 2023 23:07:30 -0400
parents 153e4af91684
children (none)
#!/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"