versioning

Author: yawkat

.github/workflows/docs.yml

@@ -4,6 +4,11 @@ on:
   release:
     types: [published]
   workflow_dispatch:
+    inputs:
+      selected_version:
+        description: 'Tag to associate with current working tree. If unset, `git describe` is used.'
+        type: string
+        required: false
   pull_request: # TODO
 
 jobs:
@@ -25,7 +30,11 @@ jobs:
         uses: astral-sh/setup-uv@v7
       - name: Install just
         run: sudo apt install -y just
+      - name: Build documentation (explicit selected version)
+        if: github.event_name == 'workflow_dispatch' && inputs.selected_version
+        run: cd docs && just latest_version=${{ inputs.selected_version }} all
       - name: Build documentation
+        if: github.event_name != 'workflow_dispatch' || !inputs.selected_version
         run: cd docs && just all
       - name: Upload pages artifact
         id: deployment

docs/header.html.jinja

@@ -6,8 +6,14 @@
   <li><a href="{{ version_root }}/{{ path_javadoc }}">Javadoc</a></li>
   <li><a href="https://github.com/yawkat/lz4-java{% if selected_version != latest_version_name %}/releases/tag/{{ selected_version_actual }}{% endif %}">GitHub</a></li>
   <li>
-    <span>{{ selected_version }} ▼</span>
+    <span>{% if selected_version == latest_version_name %}{{ latest_version }} ({{ selected_version }}){% else %}{{ selected_version }}{% endif %} ▼</span>
     <ul class="dropdown">
+      {% if latest_version not in all_versions %}
+        <li>
+          {% if latest_version_name == selected_version %}<span class="selected">{{ latest_version }} (snapshot)</span>
+          {% else %}<a href="REWRITE_PATH_{{ latest_version_name }}">{{ latest_version }} (snapshot)</a>{% endif %}
+        </li>
+      {% endif %}
       {% for v in all_versions %}
         <li>
           {% if v == selected_version %}<span class="selected">{{ v }}</span>

docs/justfile

@@ -97,5 +97,9 @@ prepare:
   mkdir -p '{{build}}/site'
   ln -s ../../javadoc.css ../../common.css ../../markdown.css '{{build}}/site'
 
-all: prepare (version latest_version_name) && rewrite-version-links
+log:
+  @echo "Available tags: {{all_versions}}"
+  @echo "Current tag: {{latest_version}}"
+
+all: log prepare (version latest_version_name) && rewrite-version-links
   set -e; for v in {{all_versions}}; do just 'all_versions={{all_versions}}' 'latest_version={{latest_version}}' version "$v"; done