#!/bin/sh

file="$1"

exec pl -f none -g "load_files(doc2tex,[silent(true)]),doc2tex('$file'),halt"
