[GHC] #14405: Remove core-spec.pdf from repository

[GHC]

#14405: Remove core-spec.pdf from repository
-------------------------------------+-------------------------------------
           Reporter:  bgamari        |             Owner:  (none)
               Type:  task           |            Status:  new
           Priority:  normal         |         Milestone:  8.4.1
          Component:  Compiler       |           Version:  8.2.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  None/Unknown
  Unknown/Multiple                   |
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Currently we track `core-spec.pdf` in the repository, which is generated
 from ott sources. This is a rather flagrant violation of a central tenant
 of version control: don't track derived files. However, simonpj would like
 to ensure that there is an easily accessible copy of this artifact
 somewhere, so we can't remove it yet. Let's ensure that it is produced by
 documentation artifact produced by CircleCI.

-- 
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/14405>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler