Skip to content

Fix #1: Build docs only if they've changed

Raymond Toy requested to merge issue-1 into master

It takes quite a bit of time to clone the texinfo repo and then to build everything even if none of the docs (manuals) have changed. Set up CI so that we cache the texinfo git repo and also the installed texinfo.

We can also set up CI to skip building the docs if none of the docs have changed.

The web site is always updated, however, because it's quite fast.

Merge request reports