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>
This commit is contained in:
Nathan Skrzypczak
2019-07-29 11:18:05 +02:00
committed by Dave Barach
parent 30aaf97a90
commit 55c68c9521
7 changed files with 33 additions and 13 deletions

View File

@ -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