ci: generate doc
Add a CI job to generate the README.pdf.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
Loading
Add a CI job to generate the README.pdf.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
mentioned in commit fe8ecaa7