Commit Graph

12 Commits

Author SHA1 Message Date
Jack Grigg 26f16f44ec Move ZIP source into `zips/` subdirectory
This makes the repo root more approachable for newcomers; the README can
be seen in GitHub immediately instead of after much scrolling.
2024-07-16 18:58:05 +00:00
Daira-Emma Hopwood ca22568386 Makefile: fix a bug in local rendering that could include unintended
'zip-*.{md,rst}' files from under the `.git` directory in the index.

Also make the rendering of the "Drafts without assigned ZIP numbers"
section conditional on whether there are any such drafts.

Signed-off-by: Daira-Emma Hopwood <daira@jacaranda.org>
2024-07-01 17:20:36 +01:00
Jack Grigg b1851410ba Add a separate table to index listing `draft-*` files 2024-05-21 18:04:23 +00:00
Jack Grigg e03c8c31e8 Include `zip-*.md` files in index 2024-05-21 17:49:41 +00:00
Daira Hopwood 917c85380c Add placeholder ZIPs for reserved numbers.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-09-14 15:53:54 +01:00
Daira Hopwood 119b7c8ca1 Try to improve consistency of whitespace behaviour for sed on macOS.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-01-24 15:33:58 +00:00
copernicus-mogley 25ada6f826 Update Makefile and makeindex.sh to run without errors on MacOS 2020-01-24 15:30:53 +00:00
Daira Hopwood c13faee763 Fix a Makefile bug that could result in the index failing to be regenerated when needed.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-17 17:41:37 +00:00
Daira Hopwood 5bf0ca45c4 Fix links, maybe.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-11-07 19:49:41 +00:00
Daira Hopwood 2815bee6f9 Change README from Markdown to rST (for uniformity and to avoid GitHub pages caching problems).
Also regenerate HTML.

Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-24 14:29:17 +01:00
Daira Hopwood 9040eed545 Improve ZIP index: format in a table, include status, and cross out Withdrawn/Rejected/Obsolete ZIPs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-24 10:50:03 +01:00
Daira Hopwood d90238c971 Add index of ZIPs.
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-06 12:41:46 +01:00