<pre style='margin:0'>
Joshua Root (jmroot) pushed a commit to branch master
in repository macports-base.
</pre>
<p><a href="https://github.com/macports/macports-base/commit/4543f4270546457f69f66938b309b828fc4c4764">https://github.com/macports/macports-base/commit/4543f4270546457f69f66938b309b828fc4c4764</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'> new 4543f4270 CI: enable man page deployment
</span>4543f4270 is described below
<span style='display:block; white-space:pre;color:#808000;'>commit 4543f4270546457f69f66938b309b828fc4c4764
</span>Author: Joshua Root <jmr@macports.org>
AuthorDate: Wed Mar 26 00:56:34 2025 +1100
<span style='display:block; white-space:pre;color:#404040;'> CI: enable man page deployment
</span>---
.github/workflows/main.yml | 28 ++++++++++++++--------------
1 file changed, 14 insertions(+), 14 deletions(-)
<span style='display:block; white-space:pre;color:#808080;'>diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;color:#808080;'>index 5a3cf7bb1..adaba9613 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/.github/workflows/main.yml
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -69,22 +69,22 @@ jobs:
</span> make test
- name: Deploy man pages to web
if: vars.MP_RELEASE_BRANCH == github.ref_name && startsWith(matrix.os,'ubuntu')
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #env:
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #MANPAGE_SSH_HOST: ${{ secrets.MANPAGE_SSH_HOST }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #MANPAGE_SSH_HOSTKEY: ${{ secrets.MANPAGE_SSH_HOSTKEY }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #MANPAGE_SSH_USER: ${{ secrets.MANPAGE_SSH_USER }}
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #MANPAGE_SSH_KEY: ${{ secrets.MANPAGE_SSH_KEY }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ env:
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MANPAGE_SSH_HOST: ${{ secrets.MANPAGE_SSH_HOST }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MANPAGE_SSH_HOSTKEY: ${{ secrets.MANPAGE_SSH_HOSTKEY }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MANPAGE_SSH_USER: ${{ secrets.MANPAGE_SSH_USER }}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ MANPAGE_SSH_KEY: ${{ secrets.MANPAGE_SSH_KEY }}
</span> run: |
set -eu
make -C doc html ASCIIDOC=/usr/bin/asciidoc XSLTPROC=/usr/bin/xsltproc \
DOCBOOK_XSL=/usr/share/xml/docbook/stylesheet/docbook-xsl/manpages/docbook.xsl
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "$MANPAGE_SSH_KEY" > ssh_key
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #chmod 0600 ssh_key
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "$MANPAGE_SSH_HOSTKEY" > ssh_known_hosts
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ touch ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ chmod 0600 ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "$MANPAGE_SSH_KEY" > ssh_key
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "$MANPAGE_SSH_HOSTKEY" > ssh_known_hosts
</span>
<span style='display:block; white-space:pre;background:#ffe0e0;'>- #export RSYNC_RSH="ssh -l $MANPAGE_SSH_USER -i ssh_key -oUserKnownHostsFile=ssh_known_hosts"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #echo "Uploading manpage HTML files"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- echo "Placeholder for uploading manpage HTML files"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- ls -R doc/*.html
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #rsync -avzhC --progress doc/*.html "${MANPAGE_SSH_HOST}:man/"
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>- #rm -f ssh_key ssh_known_hosts
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ export RSYNC_RSH="ssh -l $MANPAGE_SSH_USER -i ssh_key -oUserKnownHostsFile=ssh_known_hosts"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ echo "Uploading manpage HTML files"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rsync -avzhC --progress --delay-updates --delete-after doc/*.html "${MANPAGE_SSH_HOST}:./"
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+ rm -f ssh_key ssh_known_hosts
</span></pre><pre style='margin:0'>
</pre>