Index: mpe/viewers/jumpshot-3/Makefile.in
===================================================================
RCS file: /MPIhome/jumpshot-3/Makefile.in,v
retrieving revision 1.12
diff -r1.12 Makefile.in
32c32
< 	-cd doc/tex; $(MAKE) distclean
---
> 	-if [ -d doc/tex ] ; then cd doc/tex; $(MAKE) distclean ; fi

.