> >checking for which gui to use... batch > >configure: error: batch is not a valid gui
That works just fine for me, using the git head. _______________________________________________ geda-user mailing list geda-user@moria.seul.org http://www.seul.org/cgi-bin/mailman/listinfo/geda-user