summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJohn DeNisco <jdenisco@cisco.com>2020-05-29 08:56:38 -0400
committerDave Barach <openvpp@barachs.net>2020-05-29 13:12:40 +0000
commitd52820d264b03622221bd6b092c0aeeea8335f23 (patch)
tree8322c8959bd46962891484f294c01224bf56b4e0
parent2dca180db989ea7afacdf4e70cc85e4408557382 (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
-rwxr-xr-xdocs/scripts/publish-docs.sh1
-rw-r--r--docs/troubleshooting/sanitizer.rst1
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 }"