diff options
author | Nathan Skrzypczak <nathan.skrzypczak@gmail.com> | 2019-07-29 11:18:05 +0200 |
---|---|---|
committer | Dave Barach <openvpp@barachs.net> | 2019-08-01 18:01:57 +0000 |
commit | 55c68c9521d98005ce850ee54a40c7579d88928b (patch) | |
tree | b5513b058e87e9914c13e5f08df5787f2b595fa8 /docs/scripts | |
parent | 30aaf97a90230d68c0f2736b0a026e07b06e7e32 (diff) |
docs: Small fixes and ordering
* deactivtates the TODOs on doxygen (were empty)
* This move punt.md to readthedocs (should be the new
place for dev doc ?)
* Makes Handoff queue demo plugin a child of dev doc
in doxygen
Type: fix
Change-Id: I1f0476a911b35208212af8dd608bc76160efd22a
Signed-off-by: Nathan Skrzypczak <nathan.skrzypczak@gmail.com>
Diffstat (limited to 'docs/scripts')
-rwxr-xr-x | docs/scripts/prepare-for-site.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/docs/scripts/prepare-for-site.sh b/docs/scripts/prepare-for-site.sh new file mode 100755 index 00000000000..15888ba6e83 --- /dev/null +++ b/docs/scripts/prepare-for-site.sh @@ -0,0 +1,18 @@ +#!/bin/bash + +if [ ! -d "docs" ]; then + echo "This script is meant to be run from the root directory" + exit 1; +fi + +for f in $(find ./docs -type l) +do + target=$(readlink $f) + rm $f + cp $(dirname $f)/$target $(dirname $f)/$(basename $target) + echo "Replaced symlink $f" +done + +echo "Cleaning doc build directory" +make docs-clean + |