Update ghpages.rst

This commit is contained in:
Instructor, Computer Systems Technology 2016-07-28 02:04:19 -07:00 committed by GitHub
parent 11cefc2994
commit 5552f0397b

View File

@ -47,6 +47,6 @@ 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
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.