Gilberto's Source

FONT_SIZE=10

pdir=$1 obj=$2

hdir=$(pwd)

cd $pdir if [ -e domain.pddl ] && [ -e problem.pddl ] && [ -e solution ] && [ $(cat solution | wc -l) -gt 0 ]; then # Cleanup rm report* > /dev/null 2>&1 rm empty_prob.pddl > /dev/null 2>&1 # Generate the report ${HOME}/dev/val/validate -o $obj -o -f report -l domain.pddl problem.pddl solution sed -i '/\\\documentclass/a \\\usepackage[maxfloats=100]{morefloats}' report.tex sed -i 's/\\documentclass\[a4paper,[0-9]*pt\]/\\documentclass[a4paper,'$FONT_SIZE'pt]/g' report.tex sed -i 's/[0-9]\+\.*[0-9]*e-[0-9]\+/0/g' report.tex # PDF Generation pdflatex report.tex > /dev/null 2>&1 # Opening PDF # evince report.pdf > /dev/null 2>&1 & # Cleanup rm report.aux rm report.log rm report.tex fi

cd $hdir