CI: Skip building docs if GitHub repository is not php-src (#14006)

[skip ci] Fix docs glob pattern

* does not refer to nested files.

Create book for docs

Closes GH-13338