On 06/19/2012 02:41 PM, Brad King wrote: > On 06/19/2012 02:20 PM, Amul Shah wrote: >> the path given to GDE should be '$gtm_dist/XYZhlp.dat' > > Okay. I pushed the help generation plus this fix
Perhaps the change below is needed too for the destdir case, and does not hurt in the normal case? -Brad diff --git a/sr_unix/configure.gtc b/sr_unix/configure.gtc index 0c5b54e..7b3a604 100644 --- a/sr_unix/configure.gtc +++ b/sr_unix/configure.gtc @@ -754,7 +754,7 @@ export gtmgbldir cat <<GDE.in1 | $gtmdist/mumps -direct Do ^GDE -Change -segment DEFAULT -block=2048 -file=$gtmdist/gtmhelp.dat +Change -segment DEFAULT -block=2048 -file=\$gtm_dist/gtmhelp.dat Change -region DEFAULT -record=1020 -key=255 Exit GDE.in1 @@ -764,7 +764,7 @@ export gtmgbldir cat <<GDE.in2 | $gtmdist/mumps -direct Do ^GDE -Change -segment DEFAULT -block=2048 -file=$gtmdist/gdehelp.dat +Change -segment DEFAULT -block=2048 -file=\$gtm_dist/gdehelp.dat Change -region DEFAULT -record=1020 -key=255 Exit GDE.in2 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
