From d54329991d5c14b3d495d51ba76588ca66bbc30f Mon Sep 17 00:00:00 2001 From: Tim van Dijen Date: Wed, 18 Dec 2024 20:15:52 +0100 Subject: [PATCH] Remove 1.19 docs 1.19 has retired a long time ago --- mk_docs.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mk_docs.py b/mk_docs.py index 29aa35a..25e6f3f 100755 --- a/mk_docs.py +++ b/mk_docs.py @@ -254,7 +254,7 @@ def getListOfFiles(dirName): # for which versions should we generate documentation? # - "devel" corresponds to git master # - an alias "stable" will point to the first item in the list -ssp_versions=["2.3", "2.2", "2.1", "2.0", "1.19", "devel"] +ssp_versions=["2.3", "2.2", "2.1", "2.0", "devel"] # Make sure we have a working site subdir to put stuff in os.system('mkdir ' + site_root_dir)