Commit 56026f97378d6b3a54f485bd1e0b0609ba9b07f7

Tom Tromey 1997-03-28T00:32:44

do not define INSTALL_SCRIPT twice