Daira Hopwood
|
a27f08ab90
|
Add alt="" for anchor image, since it is "decorative" in the sense of <https://www.w3.org/WAI/tutorials/images/decorative/>.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-02-25 17:05:50 +00:00 |
Daira Hopwood
|
ef117e9874
|
Add section anchors.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-02-25 14:59:08 +00:00 |
Daira Hopwood
|
36cf64abc3
|
edithtml.sh: replace MathJax URL.
Regenerate ZIP 1011 HTML.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-02-25 12:44:22 +00:00 |
Daira Hopwood
|
a0aa25c407
|
Factor out HTML editing from Makefile into edithtml.sh
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
|
2020-02-25 12:42:17 +00:00 |