From 5552f0397b7b47c818a32046ace732a9f2e1a987 Mon Sep 17 00:00:00 2001 From: "Instructor, Computer Systems Technology" Date: Thu, 28 Jul 2016 02:04:19 -0700 Subject: [PATCH] Update ghpages.rst --- user_guide_src/ghpages.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user_guide_src/ghpages.rst b/user_guide_src/ghpages.rst index 299026365a..500b7eb4fd 100644 --- a/user_guide_src/ghpages.rst +++ b/user_guide_src/ghpages.rst @@ -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.