*** Makefile.in.orig	Fri Mar 14 15:08:13 2003
--- Makefile.in	Fri Mar 14 15:08:29 2003
***************
*** 45,51 ****
  
  doc:	$(DOCUMENTS)
  
! all:	$(PROGS) $(DOCUMENTS)
  
  #   Build executable program
  
--- 45,51 ----
  
  doc:	$(DOCUMENTS)
  
! all:	$(PROGS)
  
  #   Build executable program
  
