2023-12-04 05:55:08 -04:00
|
|
|
#!/usr/bin/env bash
|
2018-04-27 18:48:16 -03:00
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
|
|
cd $DIR/..
|
|
|
|
|
|
|
|
|
|
. docs/setup.sh
|
|
|
|
|
|
|
|
|
|
if [ ! -f $DOCS_OUTPUT_BASE/tags/libraries ];
|
|
|
|
|
then
|
|
|
|
|
echo "Must build libraries first"
|
|
|
|
|
exit 0
|
|
|
|
|
fi
|
|
|
|
|
|
|
|
|
|
doxygen docs/config/ardusub
|
|
|
|
|
|
