diff options
| author |  Siddharth Bhat <siddu.druid@gmail.com> | 2018-06-27 23:29:00 +0200 |
|---|---|---|
| committer | Siddharth Bhat <siddu.druid@gmail.com> | 2018-07-02 18:30:13 +0200 |
| commit | 5dfa8c9d9e3f1a5391825338498e0aaac28b4e28 (patch) | |
| tree | 4ed8704d5389786d44122e36ee221fb669cf16e9 /CONTRIBUTING.md | |
| parent | 02fe76c0c1c3f01c6fb4310dd4450b35f43005da (diff) | |
Clean up documentation around beginner's guide.
- move `README` to `README.md` to take advantage of markdown features
- remove `setup.txt`, port the editor specific information to the wiki.
Merge development information into `dev/doc/README.md`.
Wiki merge link: https://github.com/coq/coq/wiki/DevelSetup.
- Add new links to files into `dev/README.md`.
- Remove stale `translate.txt`.
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 2dffd2019..9bd3d0b7c 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -20,6 +20,9 @@ If you want to minimize your bug (or help minimize someone else's) for more extr ## Pull requests +**Beginner's guide to hacking Coq: [`dev/doc/README.md`](dev/doc/README.md)** \ +**Development information and tools: [`dev/README.md`](dev/README.md)** + If you want to contribute a bug fix or feature yourself, pull requests on the [GitHub repository](https://github.com/coq/coq) are the way to contribute directly to the Coq implementation. We recommend you create a fork of the repository on GitHub and push your changes to a new "topic branch" in that fork. From there you can follow the [GitHub pull request documentation](https://help.github.com/articles/about-pull-requests/) to get your changes reviewed and pulled into the Coq source repository. Documentation for getting started with the Coq sources is located in various |