diff --git a/doc/synopsis-intro.txt b/doc/synopsis-intro.txt index 055a0cecc..c2ba315cf 100644 --- a/doc/synopsis-intro.txt +++ b/doc/synopsis-intro.txt @@ -1,8 +1,6 @@ - - - +Versions: [3.9 ./synopsis-v3.9.html] | latest (this one) =Introduction= diff --git a/doc/synopsis.html b/doc/synopsis-v3.9.html similarity index 100% rename from doc/synopsis.html rename to doc/synopsis-v3.9.html