#!/bin/sh
tooldir=$(dirname $0)
if [ "$1" = "-no-overfull" ]; then
cat $2 | "$tooldir"/latex_filter `cat $2 | wc -l` no
else
cat $1 | "$tooldir"/latex_filter `cat $1 | wc -l` yes
fi
¤ Dauer der Verarbeitung: 0.9 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
