The intent is, eventually, for the in-progress user guide to be automatically generated as part of a PR merge. This writeup explains how it can be done manually in the meantime.
The user guide takes advantage of Github pages, where the "gh-pages" branch of a repo, containing HTML only, is accessible through github.io.
You already have the repo cloned into CodeIgniter4 in a projects folder.
Create another folder at the same level as this, CodeIgniter4-guide.
Clone the CodeIgniter4 repo again, into CodeIgniter4-guide/html.
Inside the html folder, git checkout gh-pages.
All you should see is the generated HTML for the user guide.
In the user_guide_src folder, you generate a conventional user guide,
for testing, using the command:
make html
An additional target has been configured, which will generate the same
HTML but inside the html folder of the second repo clone:
make ghpages
After making this target, update the online user guide by switching to
the CodeIgniter4-guide/html folder, and then:
git add . git commit -S -m "Suitable comment" git push origin gh-pages
There should be only one maintainer doing this, to avoid collisions. The user guide would get regenerated whenever there is a PR merge that affects it.
Note: You might have to delete the user_guide_src/doctree folder before
making the gh-pages version of the guide, to make sure that the TOC
is properly rebuilt, especially if you are rebuilding the html target a number of times.