3 Reason: change some default paths around to better suit Gentoo
5 --- bin/i7~ 2014-05-07 15:48:06.000000000 +0100
6 +++ bin/i7 2014-06-08 18:35:39.000000000 +0100
9 $Getopt::Std::STANDARD_HELP_VERSION=1;
11 -$idesettings{'PREFIX'}="/usr/local";
12 +$idesettings{'PREFIX'}="/usr";
20 -$idesettings{'ZTERP'}="$idesettings{'PREFIX'}/libexec/dumb-frotz";
21 +$idesettings{'ZTERP'}="/usr/games/bin/glkfrotz";
22 $idesettings{'ZTERPBG'}=0;
23 -$idesettings{'GTERP'}="$idesettings{'PREFIX'}/libexec/dumb-glulxe";
24 +$idesettings{'GTERP'}="/usr/games/bin/glulxe";
25 $idesettings{'GTERPBG'}=0;