From e06cefece3643e0f491208cdf2c085fe8e5999a4 Mon Sep 17 00:00:00 2001
From: Github Actions <>
Date: Tue, 15 Oct 2024 06:27:01 +0000
Subject: [PATCH] Generate documentation

---
 master.html | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/master.html b/master.html
index ba05f0a6..ffeceffa 100644
--- a/master.html
+++ b/master.html
@@ -308,10 +308,9 @@ for <a href="#basic-configuration">some basic configuration</a>.</p>
 system.</p>
 <section class="level4" id="linux--bsd">
 <h4>Linux / *BSD <a class="headerlink" href="#linux--bsd">&para;</a></h4>
-<p>First, make sure that <strong>python</strong> 3.5 or later
-(<strong>python</strong> &ge; 3.6 is recommended) and <strong>pip</strong>
-are installed. On most distributions it should be enough to install the
-package <code>python3-pip</code>.</p>
+<p>First, make sure that <strong>python</strong> 3.8 or later and
+<strong>pip</strong> are installed. On most distributions it should be
+enough to install the package <code>python3-pip</code>.</p>
 <p>Then open a console and type:</p>
 <div class="sourceCode" id="cb2"><pre class="sourceCode bash"><code class="sourceCode bash"><span id="cb2-1"><a aria-hidden="true" href="#cb2-1" tabindex="-1"></a><span class="co"># Run the following command as root or</span></span>
 <span id="cb2-2"><a aria-hidden="true" href="#cb2-2" tabindex="-1"></a><span class="co"># add the --user argument to only install for the current user</span></span>