Certainly no complaints from me. I knew I was doing a Bad Thing when I committed that file, but couldn't think of a good alternative, given the rarity of finding an ott installation.
Thanks, Ben. Richard > On Mar 13, 2017, at 6:57 PM, Ben Gamari <b...@well-typed.com> wrote: > > Hello everyone, > > Currently there is a typeset copy of the Core specification in the GHC > repository. This means any time someone changes the specification the > repository grows by around 300kB. While this isn't the end of the > world, it's generally considered bad form to put generated files under > version control. > > Of course, the tools required to typeset the specification (ott and > LaTeX) are non-trivial to install, so there is considerable convenience > that comes from having a typeset version readily available. > > I suggest that we remove the PDF from the repository but instead I can > start including it in my nightly documentation builds. Any objections? > > Cheers, > > - Ben > _______________________________________________ > ghc-devs mailing list > ghc-devs@haskell.org > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
