docs: Fix inclusion of source files in tutorial
The build works locally. But as the pages
job is run only for master, the docs target isn't run in CI.
But even if the CI fails, only the pages
job is going to fail. And in that case the previous data is kept intact. So it's not going disrupt the hosted documentations.