To rdvz:
Go to hapycolor's settings, in the section 'GitHub Pages', select 'master branch /docs folder' option as the source.
Accept the pull request and rebase the master with this branch. Then check if the documentation is accessible through: doc's webpage, else, blame yourself, because you accepted a bugged pull request.
To all:
From now on, in order to regenerate the html webpage, run 'make html' in the 'docs_sources' folder. Other targets might fail because I added commands to move the result of the built into the 'docs' folder.
PS: This branch also contains the lightline target.
To rdvz: Go to hapycolor's settings, in the section 'GitHub Pages', select 'master branch /docs folder' option as the source. Accept the pull request and rebase the master with this branch. Then check if the documentation is accessible through: doc's webpage, else, blame yourself, because you accepted a bugged pull request.
To all: From now on, in order to regenerate the html webpage, run 'make html' in the 'docs_sources' folder. Other targets might fail because I added commands to move the result of the built into the 'docs' folder.
PS: This branch also contains the lightline target.