Mirror
/
ardupilot
mirror of https://github.com/ArduPilot/ardupilot
5
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tools: build_parameters.sh also stashes Parameters.rst

This commit is contained in:
Peter Barker 2016-03-17 17:01:15 +11:00 committed by Andrew Tridgell
parent 6a44cb244d
commit 48f7aa1556
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Tools/scripts/build_parameters.sh
View File

@ -39,6 +39,9 @@ generate_parameters() {
VEHICLE_PARAMS_DIR="$PARAMS_DIR/$VEHICLE"
mkdir -p "$VEHICLE_PARAMS_DIR"
/bin/cp Parameters.wiki Parameters.html *.pdef.xml "$VEHICLE_PARAMS_DIR/"
if [ -e "Parameters.rst" ]; then
/bin/cp Parameters.rst "$VEHICLE_PARAMS_DIR/"
fi
}