Mirror/ardupilot
5
0
Fork 0
mirror of https://github.com/ArduPilot/ardupilot synced 2025-02-05 23:43:58 -04:00
Code Issues Packages Projects Releases Wiki Activity

Tools: Add ardusub

Browse Source 
Signed-off-by: Patrick José Pereira <patrickelectric@gmail.com>
This commit is contained in:
Patrick José Pereira 2018-04-27 19:28:27 -03:00 committed by Peter Barker
parent 0243c92d1e
commit 9dee2c4981
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Tools/scripts/build_docs.sh
View File

@ -12,4 +12,5 @@ $DOCS_OUTPUT_BASE/build-libs.sh
$DOCS_OUTPUT_BASE/build-arduplane.sh
$DOCS_OUTPUT_BASE/build-arducopter.sh
$DOCS_OUTPUT_BASE/build-apmrover2.sh
$DOCS_OUTPUT_BASE/build-ardusub.sh
) > $DOCS_OUTPUT_BASE/build_docs.log 2>&1