Index: mttroot/mtt/bin/mtt ================================================================== --- mttroot/mtt/bin/mtt +++ mttroot/mtt/bin/mtt @@ -15,10 +15,13 @@ ############################################################### ## Version control history ############################################################### ## $Header$ ## $Log$ +## Revision 1.361 2002/09/16 08:08:00 geraint +## Merged changes from global-optimisation branch. +## ## Revision 1.360.2.3 2002/09/16 07:59:26 geraint ## Changed default optimisation to global. ## ## Revision 1.360.2.2 2002/09/04 10:44:59 geraint ## Added option to specify number of tmp variables declared (-ntmpvar ). @@ -1616,11 +1619,11 @@ if [ "$1" = "hinfo" ] && [$2 = ""]; then mtt_check_var "$HTMLVIEW" HTMLVIEW (cd $MTT_DOC/; make --silent mtt.html) echo Invoking $HTMLVIEW - (cd $MTT_DOC; $HTMLVIEW ./mtt.html)& + (cd $MTT_DOC; $HTMLVIEW file://$MTT_DOC/mtt.html)& exit fi if [ "$1" = "manual" ] && [$2 = ""]; then mtt_check_var "$PDFVIEW" PDFVIEW