configure: Use literal '$gtm_dist/' in front of (gtm|gde)help.dat

This commit is contained in:
Brad King 2012-06-19 15:12:52 -04:00
parent 151c165eca
commit 81e6aa8856
1 changed files with 2 additions and 2 deletions

View File

@ -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