diff options
Diffstat (limited to 'manual/installation.rst')
-rw-r--r-- | manual/installation.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/manual/installation.rst b/manual/installation.rst index 7c416cb5..e02380ee 100644 --- a/manual/installation.rst +++ b/manual/installation.rst @@ -223,7 +223,7 @@ BUILD_DOC BUILD_DOC_HTML Visible when BUILD_DOC is selected. This option controls building HTML documentation separately from PDF documentation since - the sphinx theme only needed for the HTML documentation. + the sphinx theme is only needed for the HTML documentation. BUILD_DOC_PDF Visible when BUILD_DOC is selected. This option controls building |