Removing core-spec.pdf from repository?

[Richard Eisenberg]

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 <ben at 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 at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs