Triggering the build of a PR's documentation

If you are a member of the CGAL organization on GitHub, you can benefit from a feature that enables you to automatically build and store the documentation for a PR.

To use it, you must:

• Make sure that your membership is public, as described on this page.
• Type in a comment "/build:vN" in the targeted PR, with N the number of the round. Note that you can overwrite an existing round, using "/force-build:vN".
• Wait for the bot answer, which will give an address.
• Wait around 10 minutes for the given page to become available.

The documentation is now stored on a github.io page.