Deploying documentation with Documenter (automatically with each new push to the repo)

General Usage
,
4

Yes, and that seems to be ok in your repo.

That will create a local copy of the page. You can see and edit it locally. I use a simple script that launches a python-based local server (http.server) for that:

# file:  webserver.sh
previous=`ps aux | grep python3 |grep http.server| awk '{print $2}'`
if [[ $previous > "" ]];then 
  kill -9 $previous
fi
python3 -m http.server --bind localhost

If you run webserver.sh from the build directory created with make.jl you will be able to see your page at http://127.0.0.1:8000/.

But, answering your question, that does not publish your docs.

Finally, I can’t see anything wrong with your docs. Did you do, in github:

Settings -> GitHub Pages -> choose gh-pages (/root)

I am not sure if that is not done automatically, but I always did that.

1 Like