> On 17 Feb 2019, at 16:19, Akim Demaille <a...@lrde.epita.fr> wrote: > >> Le 10 févr. 2019 à 15:20, Hans Åberg <haber...@telia.com> a écrit : >> >>> On 10 Feb 2019, at 11:07, Akim Demaille <a...@lrde.epita.fr> wrote: >>> >>> [*.dot vs. *.gv] >>> But it's too late to change the default behavior. >> >> You might change it, as it is not usable on real life grammars. > > You have a point :)
Or a dot! :-) > But it does not mean it will not break something for someone. > Maybe bound to %require "3.4", why not. Since .dot does not work in some editors, it might good to use .gv. _______________________________________________ help-bison@gnu.org https://lists.gnu.org/mailman/listinfo/help-bison