Re: Turn most genrecog warnings into errors

2013-11-22 Thread Paul_Koning
On Nov 22, 2013, at 3:43 AM, Richard Sandiford wrote: > genrecog does some useful sanity checks on the .md files. At the moment > it only reports most of the problems as warnings though, which means you > won't notice them unless you specifically look. > > I think the only message in validate

Re: Turn most genrecog warnings into errors

2013-11-22 Thread Richard Biener
On Fri, Nov 22, 2013 at 9:43 AM, Richard Sandiford wrote: > genrecog does some useful sanity checks on the .md files. At the moment > it only reports most of the problems as warnings though, which means you > won't notice them unless you specifically look. > > I think the only message in validate