diff options
| author |   Paul Vinciguerra <pvinci@vinciconsulting.com> | 2019-11-05 15:34:36 -0500 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2019-11-06 17:53:42 +0000 |
| commit | 340c15c6ed34ce60c821b5260fec3eb11d65dcb7 (patch) | |
| tree | e791acb487279b7273cdbe753a2d46ccd982f5ea /docs/reference/vppvagrant/VagrantVMSetup.rst | |
| parent | 4d11b6cecaa9c1be20aa149bc8779f197f6393ed (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/VagrantVMSetup.rst')
| -rw-r--r-- | docs/reference/vppvagrant/VagrantVMSetup.rst | 2 |
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: |