doraTeX

#!/bin/bash
SCRIPTNAME=$(basename "$0")

function realpath () {
  f=$@;
  if [ -d "$f" ]; then
    base="";
    dir="$f";
  else
    base="/$(basename "$f")";