Deirdre Connolly
f56cf0d38e
Add GitHub Actions workflow that renders and commits spec pdfs ( #579 )
...
* Add GitHub Actions workflow that renders and commits the spec pdfs
* Try to run make
* Try our custom action
* Add link to Dockerfile to make action happy
* Update render workflow to manual render only
* Update .github/actions/render-protocol-pdf/action.yml
* Update .github/dependabot.yml
2022-02-09 16:34:55 -05:00
Daira Hopwood
9f8ddba41e
.gitignore: add another pattern for nano save files.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-14 13:10:23 +01:00
Daira Hopwood
283480c802
Makefile: rebuild index if files have been deleted.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-14 13:08:16 +01:00
Daira Hopwood
604532cca1
Makefile: add dot to filename of .Makefile.uptodate
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-04-14 13:06:08 +01:00
Daira Hopwood
70cc1347f6
protocol/Makefile: make the Heartwood spec the default.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-03-20 16:06:52 +00:00
Daira Hopwood
1aa17db44e
Update .gitignore to ignore `Makefile.uptodate`.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2020-03-10 17:01:13 +00:00
Daira Hopwood
485942ecdf
Regenerate PDFs. Also remove protocol.ver and adjust .gitignore .
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-23 20:05:43 +01:00
Daira Hopwood
3201fab5ab
Add *.save to .gitignore .
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-08-07 11:14:33 +01:00
Daira Hopwood
1c7fdad7b1
Add protocol/aux/ to .gitignore.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-06-19 00:00:57 +01:00
Daira Hopwood
13b84cdb0f
Minor updates to .gitignore.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2019-04-18 17:04:12 +01:00
Daira Hopwood
d17c800268
Add more temporary files and LaTeX/HTML output files to .gitignore.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2018-03-18 21:00:16 +00:00
Daira Hopwood
a137505404
Additions to .gitignore.
...
Signed-off-by: Daira Hopwood <daira@jacaranda.org>
2016-04-16 19:22:29 +01:00
Sean Bowe
8a35b0a57a
Initial commit
2015-12-14 10:03:59 -07:00