diff options
| author | Jon Turney <jon.turney@dronecode.org.uk> | 2025-07-15 21:13:48 +0100 |
|---|---|---|
| committer | Jon Turney <jon.turney@dronecode.org.uk> | 2025-07-16 12:23:43 +0100 |
| commit | 3dfa6af3a41b71cacbcf9cf7495c4032845383d4 (patch) | |
| tree | fd106a215cc7577645197808daf5f0f886fd32d8 | |
| parent | afa72e6c49bcb24bf126a98bf5c3bba580bbb237 (diff) | |
| download | newlib-3dfa6af3a41b71cacbcf9cf7495c4032845383d4.zip newlib-3dfa6af3a41b71cacbcf9cf7495c4032845383d4.tar.gz newlib-3dfa6af3a41b71cacbcf9cf7495c4032845383d4.tar.bz2 | |
Cygwin: CI: deploy full set of documentation files from install directory
Deploy (what is now a full set of) documentation files from install
directory.
| -rw-r--r-- | .github/workflows/cygwin.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/cygwin.yml b/.github/workflows/cygwin.yml index 3c3cd93..49d3d89 100644 --- a/.github/workflows/cygwin.yml +++ b/.github/workflows/cygwin.yml @@ -86,8 +86,8 @@ jobs: # load the key (restricted to scp only) into ssh-agent ssh-agent -a $SSH_AUTH_SOCK > /dev/null ssh-add - <<< "${{ secrets.SSH_KEY }}" - # 'make install' doesn't install faq, so instead just deploy from build directory - scp -pr build/*/winsup/doc/{cygwin-api,cygwin-ug-net,faq} cygwin-admin@cygwin.com:/sourceware/www/sourceware/htdocs/cygwin/doc/${DEST}/ + # deploy documentation files from install directory + scp -pr install/share/doc/{cygwin-api,cygwin-ug-net,faq}* cygwin-admin@cygwin.com:/sourceware/www/sourceware/htdocs/cygwin/doc/${DEST}/ if: env.HAS_SSH_KEY == 'true' windows-build: |