Skip to content

Commit 8276c22

Browse files
yurrriqyurrriq
committed
Update {CONTRIBUTING,README}.md and rebuild doc/index.html
1 parent 6beb72c commit 8276c22

File tree

3 files changed

+30
-29
lines changed

3 files changed

+30
-29
lines changed

‎CONTRIBUTING.md

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -9,11 +9,11 @@ _TBD_ (see [issue #4] for discussion)
99
1. Check out a new branch based on `develop`.
1010
1. Push some commits to your fork.
1111
- The general workflow here is as follows:
12-
- Copy/paste the original text, [reformatting](#formatting) as
13-
appropriate.
14-
- Translate Coq code into (idiomatic) Idris.
15-
- Edit, augment and delete text as appropriate.
16-
_N.B. This can be done in subsequent pull requests._
12+
- Copy/paste the original text, [reformatting](#formatting) as
13+
appropriate.
14+
- Translate Coq code into (idiomatic) Idris.
15+
- Edit, augment and delete text as appropriate.
16+
_N.B. This can be done in subsequent pull requests._
1717
1. Open a pull request (as soon as possible).
1818
- If it's not ready to be merged, but you want to _claim_ a particular task,
1919
prefix the pull request with `WIP:`.
@@ -168,7 +168,7 @@ the `all.pdf`, `all.tex` and `%.tex` rules in [`src/Makefile`].
168168
[gfm code blocks]: https://help.github.com/articles/creating-and-highlighting-code-blocks/
169169
[glossaries package]: https://www.ctan.org/pkg/glossaries
170170
[glossary.tex]: https://github.com/idris-hackers/software-foundations/blob/master/src/glossary.tex
171-
[`src/Makefile`]: https://github.com/idris-hackers/software-foundations/blob/master/src/glossary.tex
171+
[`src/Makefile`]: https://github.com/idris-hackers/software-foundations/blob/master/src/Makefile
172172
[PDF]: https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf
173173
[Pandoc]: http://pandoc.org
174174
[latexmk]: https://www.ctan.org/pkg/latexmk/

‎README.md

Lines changed: 14 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -18,19 +18,20 @@ make pdf
1818

1919
Others may work, but here are the versions I'm using.
2020

21-
| Dependency | Version |
22-
|------------------|----------------------------------------|
23-
| [(run)ghc][GHC] | 8.0.2 |
24-
| [Idris][] | 1.1.1 |
25-
| [latexmk][] | 4.52c |
26-
| [Make][] | 4.2.1 |
27-
| [minted][] | 2.4.1 |
28-
| [Iosevka][] | 1.14.3 |
29-
| [Pandoc][] | 1.19.2.1 |
30-
| [pandoc-types][] | 1.17.0.5 |
31-
| [Python][] | 3.6.1 |
32-
| [Pygments][] | 2.2.0 |
33-
| [XeLaTeX][] | 3.14159265-2.6-0.99998 (TeX Live 2017) |
21+
| Dependency | Version |
22+
|------------------|-----------------------------------------------|
23+
| [(run)ghc][GHC] | 8.4.3 |
24+
| [Idris][] | 1.3.0 |
25+
| [latexmk][] | 4.59 |
26+
| [GNU Make][] | 4.2.1 |
27+
| [minted][] | 2.5 |
28+
| [Iosevka][] | 1.14.3 |
29+
| [Pandoc][] | 2.2.1 |
30+
| [pandoc-types][] | 1.17.5.1 |
31+
| [Python][] | 3.6.6 |
32+
| [Pygments][] | 2.2.0 |
33+
| [XeLaTeX][] | 3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org) |
34+
3435

3536
### Installing prerequisites
3637

‎docs/index.html

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -101,47 +101,47 @@ <h3 id="prerequisites">Prerequisites</h3>
101101
<tbody>
102102
<tr class="odd">
103103
<td><a href="https://www.haskell.org/ghc/">(run)ghc</a></td>
104-
<td>8.0.2</td>
104+
<td>8.4.3</td>
105105
</tr>
106106
<tr class="even">
107107
<td><a href="https://www.idris-lang.org">Idris</a></td>
108-
<td>1.1.1</td>
108+
<td>1.3.0</td>
109109
</tr>
110110
<tr class="odd">
111111
<td><a href="https://www.ctan.org/pkg/latexmk/">latexmk</a></td>
112-
<td>4.52c</td>
112+
<td>4.59</td>
113113
</tr>
114114
<tr class="even">
115-
<td><a href="https://www.gnu.org/software/make/">Make</a></td>
115+
<td>[GNU Make][]</td>
116116
<td>4.2.1</td>
117117
</tr>
118118
<tr class="odd">
119119
<td><a href="http://www.ctan.org/pkg/minted">minted</a></td>
120-
<td>2.4.1</td>
120+
<td>2.5</td>
121121
</tr>
122122
<tr class="even">
123123
<td><a href="https://be5invis.github.io/Iosevka/">Iosevka</a></td>
124124
<td>1.14.3</td>
125125
</tr>
126126
<tr class="odd">
127127
<td><a href="http://pandoc.org">Pandoc</a></td>
128-
<td>1.19.2.1</td>
128+
<td>2.2.1</td>
129129
</tr>
130130
<tr class="even">
131131
<td><a href="https://github.com/jgm/pandoc-types">pandoc-types</a></td>
132-
<td>1.17.0.5</td>
132+
<td>1.17.5.1</td>
133133
</tr>
134134
<tr class="odd">
135135
<td><a href="https://www.python.org">Python</a></td>
136-
<td>3.6.1</td>
136+
<td>3.6.6</td>
137137
</tr>
138138
<tr class="even">
139139
<td><a href="http://pygments.org">Pygments</a></td>
140140
<td>2.2.0</td>
141141
</tr>
142142
<tr class="odd">
143143
<td><a href="http://tug.org/xetex/">XeLaTeX</a></td>
144-
<td>3.14159265-2.6-0.99998 (TeX Live 2017)</td>
144+
<td>3.14159265-2.6-0.99999 (Web2C 2018/NixOS.org)</td>
145145
</tr>
146146
</tbody>
147147
</table>
@@ -244,7 +244,7 @@ <h4 id="glossary">Glossary</h4>
244244
<a class="sourceLine" id="cb11-5" data-line-number="5"> description={42}</a>
245245
<a class="sourceLine" id="cb11-6" data-line-number="6">}</a></code></pre></div>
246246
<h3 id="generating-the-pdf">Generating the PDF</h3>
247-
<p>To generate the <a href="https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf">PDF</a> we use <a href="http://pandoc.org">Pandoc</a> and <a href="https://www.ctan.org/pkg/latexmk/">latexmk</a>. For more details, check out the <code>all.pdf</code>, <code>all.tex</code> and <code>%.tex</code> rules in <a href="https://github.com/idris-hackers/software-foundations/blob/master/src/glossary.tex"><code>src/Makefile</code></a>.</p>
247+
<p>To generate the <a href="https://idris-hackers.github.io/software-foundations/pdf/sf-idris-2018.pdf">PDF</a> we use <a href="http://pandoc.org">Pandoc</a> and <a href="https://www.ctan.org/pkg/latexmk/">latexmk</a>. For more details, check out the <code>all.pdf</code>, <code>all.tex</code> and <code>%.tex</code> rules in <a href="https://github.com/idris-hackers/software-foundations/blob/master/src/Makefile"><code>src/Makefile</code></a>.</p>
248248
<!-- Named Links -->
249249
</body>
250250
</html>

0 commit comments

Comments
 (0)