erabo/spiegel-keyman
1
0
Fork 0
mirror of https://github.com/keymanapp/keyman.git synced 2026-08-09 02:15:32 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

refactor(developer): use shared upload_help function

Browse source 
Build-bot: build developer
Test-bot: skip
This commit is contained in:
Eberhard Beilharz 2025-06-24 18:48:02 +02:00
parent aec28e5855
commit bc5e05fd84
No known key found for this signature in database
GPG key ID: E9140597606020D3
1 changed files with 2 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
resources/teamcity/developer/keyman-developer-release.sh
View file

@ -19,7 +19,7 @@ THIS_SCRIPT="$(readlink -f "${BASH_SOURCE[0]}")"
################################ Main script ################################
builder_describe \
"Build Keyman Developer on Windows" \
"Build release of Keyman Developer" \
"all run all actions" \
"build build Keyman Developer and test keyboards" \
"publish publish release of Keyman Developer" \
@ -70,16 +70,6 @@ function _publish_to_downloads_keyman_com() {
builder_echo end "publish to downloads.keyman.com" success "Finished publishing release to downloads.keyman.com"
}
function _publish_api_documentation() {
# Upload new Keyman Developer API documentation to help.keyman.com
builder_echo start "publish api documentation" "Uploading new Keyman Developer API documentation to help.keyman.com"
export HELP_KEYMAN_COM="${HELP_KEYMAN_COM:-${KEYMAN_ROOT}/../help.keyman.com}"
"${KEYMAN_ROOT}/resources/build/help-keyman-com.sh" developer
builder_echo end "publish api documentation" success "Finished uploading new Keyman Developer API documentation to help.keyman.com"
}
function build_developer_action() {
_build_developer
_build_testkeyboards
@ -101,7 +91,7 @@ function publish_action() {
download_symbol_server_index
publish_new_symbols
_publish_to_downloads_keyman_com
_publish_api_documentation
upload_help "api documentation" developer
}
if builder_has_action all; then