Browse files

Remove a colon.

  • Loading branch information...
lgremy committed Sep 14, 2017
1 parent 183798f commit 961afa889e9b9baa4b926a36a31f513cd6c4a3e5
Showing with 1 addition and 1 deletion.
  1. +1 −1
@@ -235,7 +235,7 @@ fplll uses [doxygen]( with a [bootstrap th
Our documentation is served at []( using [GitHub pages]( To update the documentation, check out the ``gh-pages`` branch and update the html files in there. Doxygen writes its outputs to ``doc/html``, you can arrange it that this directory holds the ``gh-pages`` branch of the fplll repository:
$ cd doc
$ git clone -b gh-pages<my-github-name>/fplll.git html
$ git clone -b gh-pages<my-github-name>/fplll.git html
$ cd ..
Now, whenever you run ``doxygen`` it will write its outputs to a directory which holds the right branch. If you push it to your remote, you can then check it at [](

0 comments on commit 961afa8

Please sign in to comment.