Stéphane Glondu Tue, 16 Aug 2016 01:18:12 -0700
> I just asked Yann and it should be ok for the next release. I just updated menhir to version 20160808, and no *.tex file in the upstream tarball...
Cheers, -- Stéphane
