#!/bin/csh -f

if ( { grep -qs '<MD' $1 } ) then
   echo jsou tam
   sed 's/<MM/<MD/g' $1 | proc2.prl | src/depstotree.linux | preview.prl
else
   echo nejsou tam
   cat $1 | proc2.prl | src/depstotree.linux | preview.prl
endif