Re: Removing core-spec.pdf from repository?

Hi, Am Montag, den 13.03.2017, 18:57 -0400 schrieb Ben Gamari:

I suggest that we remove the PDF from the repository but instead I can start including it in my nightly documentation builds. Any objections?

I also dislike generated files in repos, but would like to point out that there are a few pages out there that reference the link https://github.com/ghc/ghc/blob/master/docs/core-spec/core-spec.pdf directly; these would brake. But there is probably nothing we can easily do about that. Greetings, Joachim -- Joachim “nomeata” Breitner   mail@joachim-breitner.de • https://www.joachim-breitner.de/   XMPP: nomeata@joachim-breitner.de • OpenPGP-Key: 0xF0FBF51F   Debian Developer: nomeata@debian.org