Loading doc/source/documentation.rst +2 −2 Original line number Diff line number Diff line Loading @@ -188,7 +188,7 @@ The repository is hosted on `Gitlab <https://about.gitlab.com/>`_ server. This has also the option to automatically generate the documenation and store the resulting html files on a web server associated with the repository, which are called the *Gitlab Pages*. The following steps describe the steps that were taken. The following sections describe the steps that were taken. Create a GitLab Runner ---------------------- Loading Loading @@ -301,7 +301,7 @@ This should now be done when code is changed using a '*pipeline*'. script: - cd doc - make html - cd ../.. - cd .. - mkdir public - cp -r doc/build/html/* public artifacts: Loading Loading
doc/source/documentation.rst +2 −2 Original line number Diff line number Diff line Loading @@ -188,7 +188,7 @@ The repository is hosted on `Gitlab <https://about.gitlab.com/>`_ server. This has also the option to automatically generate the documenation and store the resulting html files on a web server associated with the repository, which are called the *Gitlab Pages*. The following steps describe the steps that were taken. The following sections describe the steps that were taken. Create a GitLab Runner ---------------------- Loading Loading @@ -301,7 +301,7 @@ This should now be done when code is changed using a '*pipeline*'. script: - cd doc - make html - cd ../.. - cd .. - mkdir public - cp -r doc/build/html/* public artifacts: Loading