This is an awesome project, thanks very much for the amazing work that you have done!
I use Jenkins to automatically build the documentation every time a pull request is merged into master branch.
However, now that the documentation has grown considerably, it takes 30+ minutes to build the PDF, but I would like to see my changes being applied to the documentation website sooner.
I have set my Jenkinsfile to only build the PDF on Sundays, so that the builds can be quicker the rest of the time, but unfortunately the PDF link/button is not visible when the PDF is not built during every single build.
It would be great to keep a link to a PDF that was already built previously if possible instead of requiring it to be built upon every single build.
This is an awesome project, thanks very much for the amazing work that you have done!
I use Jenkins to automatically build the documentation every time a pull request is merged into master branch.
However, now that the documentation has grown considerably, it takes 30+ minutes to build the PDF, but I would like to see my changes being applied to the documentation website sooner.
I have set my Jenkinsfile to only build the PDF on Sundays, so that the builds can be quicker the rest of the time, but unfortunately the PDF link/button is not visible when the PDF is not built during every single build.
It would be great to keep a link to a PDF that was already built previously if possible instead of requiring it to be built upon every single build.