Add user manual to the website

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:
diff --git a/index.html b/index.html
index eaa17ea..70a7362 100644
--- a/index.html
+++ b/index.html
@@ -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>