#!/bin/bash

echo "" > /tmp/bildervz;
for i in `ls images | grep pdf`; do NEW=`echo $i | sed s/\.pdf//`; echo $NEW >> /tmp/bildervz; done;
for i in `ls images | grep png`; do NEW=`echo $i | sed s/\.png//`; echo $NEW >> /tmp/bildervz; done;

for i in `cat /tmp/bildervz`; do grep $i *.tex > /dev/null || echo $i not found; done;
