Build the HTML user manual

2 jobs for rtoy-ci-docs in 21 minutes and 52 seconds (queued for 3 seconds)
latest
Status Job ID Name Coverage
  Test
passed #378
linux
linux-runner

00:18:47

passed #379
osx
osx-runner

00:07:29