Remove core-spec.pdf from repository
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.
Trac metadata
| Trac field | Value |
|---|---|
| Version | 8.2.1 |
| Type | Task |
| TypeOfFailure | OtherFailure |
| Priority | normal |
| Resolution | Unresolved |
| Component | Compiler |
| Test case | |
| Differential revisions | |
| BlockedBy | |
| Related | |
| Blocking | |
| CC | |
| Operating system | |
| Architecture |