diff options
author | 2019-10-06 14:20:42 +0300 | |
---|---|---|
committer | 2019-10-07 20:19:58 +0000 | |
commit | 81e5e529e1f9b46c6bd4f9debf4668cda48b9481 (patch) | |
tree | 39bd2302d58d19e26cd9c549b021185a8782c964 /docs/featuresbyrelease/vpp18.07.rst | |
parent | 4442f7cb2ebca129170a559d846712c2b65d5051 (diff) |
docs: change VPP_WITH_SAMPLE_PLUGIN to SAMPLE_PLUGIN in sample plugin documentation
The sample_plugin_doc.md file refers to VPP_WITH_SAMPLE_PLUGIN make
parameter, while the VPP makefile uses SAMPLE_PLUGIN instead.
Type: docs
Signed-off-by: Haggai Eran <haggai.eran@gmail.com>
Change-Id: Id11090fcdc78b77e246da48d0d890865011f1132
Diffstat (limited to 'docs/featuresbyrelease/vpp18.07.rst')
0 files changed, 0 insertions, 0 deletions