diff options
| -rw-r--r-- | .github/workflows/main.yml | 1 | ||||
| -rw-r--r-- | index.html | 4 |
2 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 7dddd44..3ac54e6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -38,6 +38,7 @@ jobs: run: | # For some reason they are generated by root user cp -a dillo/html web/doxygen + cp dillo/doc/user_help.html web/user_help.html - name: Upload Artifact uses: actions/upload-pages-artifact@v3 with: @@ -56,6 +56,10 @@ table { margin: 1.5em; } <a href="old/help/bug_meter.html">bug meter</a> <img alt="Bugmeter icon" style="vertical-align:middle" src="img/bugmeter.png">.</li> </ul> + <p> + Read the <a href="user_help.html">user manual</a> to discover how to use + all the features. + </p> <h2>Screenshots</h2> <a href="img/plan9.png"><img alt="Plan9 website" class="shot" src="img/mini-plan9.png"></a> |