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/scripts/publish-docs.sh | |
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/scripts/publish-docs.sh')
-rwxr-xr-x | docs/scripts/publish-docs.sh | 1 |
1 files changed, 1 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 |