Recent PRs into this repo have failed CI because the PDF of the User Manual have not generated properly. I think this is due to a missing requirement for pandoc. This PR attempts to fix that.
Hi @zarubaf, can you have a look at this? The lint/Doc Ci check is still failing due to /bin/sh: 1: pandoc: not found, but I can see that pandoc is successfully installed without warnings. Any ideas?
Recent PRs into this repo have failed CI because the PDF of the User Manual have not generated properly. I think this is due to a missing requirement for
pandoc
. This PR attempts to fix that.