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 2015-02-05 14:16:45.000000000 +0000
9 $Getopt::Std::STANDARD_HELP_VERSION=1;
11 -$idesettings{'PREFIX'}="/usr/local";
12 +$idesettings{'PREFIX'}="/usr";
19 $NI = "$idesettings{'PREFIX'}/libexec/ni";
20 -$I6 = "$idesettings{'PREFIX'}/libexec/inform6";
21 +$I6 = "/usr/bin/inform";
22 $BLORB = "$idesettings{'PREFIX'}/libexec/cBlorb";
29 -$idesettings{'ZTERP'}="$idesettings{'PREFIX'}/libexec/dumb-frotz";
30 +$idesettings{'ZTERP'}="/usr/games/bin/glkfrotz";
31 $idesettings{'ZTERPBG'}=0;
32 -$idesettings{'GTERP'}="$idesettings{'PREFIX'}/libexec/dumb-glulxe";
33 +$idesettings{'GTERP'}="/usr/games/bin/glulxe";
34 $idesettings{'GTERPBG'}=0;