diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-05-21 02:30:57 +0300 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2024-05-21 02:30:57 +0300 |
| commit | afe370de893695519b514c00ec7372742b96017c (patch) | |
| tree | de4e9876fa8b71f47747b009de8f7fb765c57733 | |
| parent | 9a95f9bef6cb22477c6e2fbc3f27a4e718a67fd8 (diff) | |
| download | applause2-afe370de893695519b514c00ec7372742b96017c.tar.gz | |
nightly builds: website now has an index.html that shows the README.md by default
| -rw-r--r-- | .github/workflows/nightly.yml | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/.github/workflows/nightly.yml b/.github/workflows/nightly.yml index b552324..9b2cace 100644 --- a/.github/workflows/nightly.yml +++ b/.github/workflows/nightly.yml @@ -17,8 +17,10 @@ jobs: run: sudo apt-get update - name: Install Build Dependencies run: | - # NOTE: The version from LuaRocks is just as old. - sudo apt-get install -y rename lua-ldoc make + # NOTE: The LDoc version from LuaRocks is just as old. + # Also, it does not appear to contain a Markdown plugin as is claimed + # in the documentation. + sudo apt-get install -y rename lua-ldoc lua-discount - name: Build AppImage run: | @@ -37,9 +39,12 @@ jobs: rm: true files: out/*.AppImage + # We apparently cannot change what page is shown in index.html, + # so we rename it to api.html and redirect in index.html. - name: Build Lua Documentation run: | - make doc + ldoc -o api . + echo '<html><head><meta http-equiv="refresh" content="0; URL=topics/README.md.html"/>' >doc/index.html - name: Publish Website run: | cd doc |