A question and maybe a suggestion



Hello,
I tried to put Maxima on a USB key without modify anything (I help on 
the "framakey" project) but for the moment, I have been obliged to 
change two lines in the file "maxima.bat" : I changed the line 20 by 
"set prefix=%CHDIR%.." and the following by "set 
maxima_prefix=%CHDIR%.." and it works. My question is why wasn't it done 
before whereas to edit the file every installation ? I think it's quite 
easier and now, I can use it on my USB key on every PC without modifying 
anything.
Yours,
Mageti