Re: option concatenation

[Bill Allombert <allomber@math.u-bordeaux.fr>]

On Mon, Apr 07, 2003 at 04:31:48PM -0400, Igor Schein wrote:
> Hi,
> 
> How hard would it be to make it so that I can type, for instance, 
> gp -qfs128m, instead of gp -q -f -s128m?  Option concatenation is
> standard in GNU programs.

I am neutral about this. This is certainly not a GNU standard.

I would like 

$ gp file.gp
do the equivalent of
$ gp
? \rfile.gp
?

So that we can use gp after running file.gp.
If you want to just run file.gp, just add \q at the end.
This would make gp2c-run much simpler.

Cheers,
Bill