aboutsummaryrefslogtreecommitdiffstats
path: root/docs/reference/vppvagrant
diff options
context:
space:
mode:
authorPaul Vinciguerra <pvinci@vinciconsulting.com>2019-11-05 15:34:36 -0500
committerDave Barach <openvpp@barachs.net>2019-11-06 17:53:42 +0000
commit340c15c6ed34ce60c821b5260fec3eb11d65dcb7 (patch)
treee791acb487279b7273cdbe753a2d46ccd982f5ea /docs/reference/vppvagrant
parent4d11b6cecaa9c1be20aa149bc8779f197f6393ed (diff)
docs: add spellcheck to 'make docs' sphinx docs
The CI gate will fail if there are typos in the docs. writing output... [ 21%] events/Summits/OpensourceSummit... writing output... [ 22%] events/Summits/UKNO/2017_04_30_... featuresbyrelease/vpp16.06.rst:34:Rasberry:vpp16.06 writing output... [100%] usecases/vppinazure Spelling checker messages written to /vpp/docs/_build/html/output.txt Warning, treated as error: Found 1 misspelled words Makefile:31: recipe for target 'html' failed make[1]: *** [html] Error 2 make[1]: Leaving directory '/vpp/docs' If you introduce a term that is not recognized, please add it to custom dictionary at docs/spelling_wordlist.txt. Type: feature Change-Id: Id49be4fbee617f544f1ab8e78e7de8a4df36448b Signed-off-by: Paul Vinciguerra <pvinci@vinciconsulting.com>
Diffstat (limited to 'docs/reference/vppvagrant')
-rw-r--r--docs/reference/vppvagrant/VagrantVMSetup.rst2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/reference/vppvagrant/VagrantVMSetup.rst b/docs/reference/vppvagrant/VagrantVMSetup.rst
index f9f4304ed94..c13a87e30f9 100644
--- a/docs/reference/vppvagrant/VagrantVMSetup.rst
+++ b/docs/reference/vppvagrant/VagrantVMSetup.rst
@@ -34,7 +34,7 @@ Become the root with:
Now *install* VPP in the VM. Keep in mind that VPP is already built (but not yet installed) at this point based on the commands from the provisioned script *build.sh*.
-When you ssh into your Vagrant box you will be placed in the directory */home/vagrant*. Change directories to */vpp/build-root*, and run these commands to install VPP based on your OS and architechture:
+When you ssh into your Vagrant box you will be placed in the directory */home/vagrant*. Change directories to */vpp/build-root*, and run these commands to install VPP based on your OS and architecture:
For Ubuntu systems: