--- Makefile.in.orig	Sun Aug 17 19:45:25 2003
+++ Makefile.in	Sun Aug 17 19:45:54 2003
@@ -204,7 +204,7 @@
 clean: external-clean local-clean
 distclean: external-distclean local-distclean
 extraclean: external-extraclean local-extraclean
-install: external-install local-install revision-install
+install: external-install local-install
 
 @INCLUDE_OUTPUTS@
 
