diff options
| author |   John DeNisco <jdenisco@cisco.com> | 2020-05-29 08:56:38 -0400 |
|---|---|---|
| committer |   Dave Barach <openvpp@barachs.net> | 2020-05-29 13:12:40 +0000 |
| commit | d52820d264b03622221bd6b092c0aeeea8335f23 (patch) | |
| tree | 8322c8959bd46962891484f294c01224bf56b4e0 /docs | |
| parent | 2dca180db989ea7afacdf4e70cc85e4408557382 (diff) | |
docs: Minor fixes in publish_docs.sh and sanitizer.rst
Fix a warning in sanitizer.rst and publish_docs.sh
Type: fix
Signed-off-by: John DeNisco <jdenisco@cisco.com>
Change-Id: I66d724f52a7b724a97a894e1cd35c1239aeedcdf
Diffstat (limited to 'docs')
| -rwxr-xr-x | docs/scripts/publish-docs.sh | 1 | ||||
| -rw-r--r-- | docs/troubleshooting/sanitizer.rst | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/docs/scripts/publish-docs.sh b/docs/scripts/publish-docs.sh index bd1a9eae3b3..8c3c81011dc 100755 --- a/docs/scripts/publish-docs.sh +++ b/docs/scripts/publish-docs.sh @@ -59,6 +59,7 @@ else rm -fr $TARGET_DIR mkdir -p $TARGET_DIR VERSION=v$VPP_BRANCH + rm ./static/docs/vpp/latest ln -s $VERSION ./static/docs/vpp/latest fi diff --git a/docs/troubleshooting/sanitizer.rst b/docs/troubleshooting/sanitizer.rst index cbe72bcc9f5..715f1b3ecd4 100644 --- a/docs/troubleshooting/sanitizer.rst +++ b/docs/troubleshooting/sanitizer.rst @@ -37,6 +37,7 @@ build option, so all VPP targets should be supported. For example: Once VPP has been built with ASan support you can use it as usual including under gdb: + .. code-block:: console $ gdb --args $PWD/build-root/install-vpp_debug-native/vpp/bin/vpp "unix { interactive }" |