6 Commits

Author	SHA1	Message	Date
Andrew Arnott	b8ba2282c2	Fix and rename GitHub Action workflow ... This gets the Dockerfile behind the render workflow to build again. I also renamed the workflow because it described only building the PDF, but it also builds all the .html files.	2024-01-06 13:35:22 -07:00
Daira Hopwood	e4c68a0e7a	Update Dockerfile to use an updated package that should work in more recent Debian. ... Signed-off-by: Daira Hopwood <daira@jacaranda.org>	2021-09-07 15:16:17 +01:00
Daira Hopwood	e02cc853d9	Dockerfile: update dependencies, use Python 3 version of rst2html5, and correct the ENTRYPOINT. ... Signed-off-by: Daira Hopwood <daira@jacaranda.org>	2020-09-07 15:29:26 +01:00
Daira Hopwood	3fad940acf	Dockerfile: entrypoint should be "make all", to also make the protocol spec. ... Signed-off-by: Daira Hopwood <daira@jacaranda.org>	2020-04-14 13:09:42 +01:00
nathan	d81c846af0	Modify root Makefile to build protocol with the 'all' target; update Docker to include protocol render toolchain.	2020-01-05 12:54:51 -08:00
nathan	3aba19102e	Support rendering via Docker.	2020-01-02 11:58:44 -08:00