From 81d112cb7fc19e4919f9916c08d8409c74aa117a Mon Sep 17 00:00:00 2001 From: Tianon Gravi Date: Tue, 17 Dec 2013 10:38:55 -0700 Subject: [PATCH] Fix minor sphinx warning --- docs/sources/contributing/devenvironment.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/sources/contributing/devenvironment.rst b/docs/sources/contributing/devenvironment.rst index cc254bbc68..6675173584 100644 --- a/docs/sources/contributing/devenvironment.rst +++ b/docs/sources/contributing/devenvironment.rst @@ -136,7 +136,7 @@ You can run an interactive session in the newly built container: Extra Step: Build and view the Documentation -------------------------------------------- +-------------------------------------------- If you want to read the documentation from a local website, or are making changes to it, you can build the documentation and then serve it by: