summaryrefslogtreecommitdiffstats
path: root/src/plugins/ping
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 /src/plugins/ping
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 'src/plugins/ping')
0 files changed, 0 insertions, 0 deletions