Jenkinsfile: remove dev-guide metadata deployment

dev guide got merged with the user guide.
This commit is contained in:
Beat Küng
2021-01-20 09:02:50 +01:00
committed by Daniel Agar
parent 8d8b58efc3
commit b190d98d6d
2 changed files with 2 additions and 32 deletions
+2 -2
View File
@@ -23,7 +23,7 @@ jobs:
make airframe_metadata
cd build/px4_sitl_default/docs
ls -ls *
# TODO: deploy to devguide gitbook and s3
# TODO: deploy to userguide gitbook and s3
module:
runs-on: ubuntu-latest
@@ -38,7 +38,7 @@ jobs:
make module_documentation
cd build/px4_sitl_default/docs
ls -ls *
# TODO: deploy to devguide gitbook and s3
# TODO: deploy to userguide gitbook and s3
parameter:
runs-on: ubuntu-latest