diff --git a/index.php b/index.php index 66858a52c..e7fce2f3f 100644 --- a/index.php +++ b/index.php @@ -102,9 +102,9 @@ function pr($name, $url, $comma) { news("Open MPI v5.0.6 released", "Bug fix release", ""); -news("hwloc 2.12.0", - "Major release", - "https://sympa.inria.fr/sympa/arc/hwloc-announce/2025-02/msg00001.html"); +news("hwloc 2.12.1", + "Stable release", + "https://sympa.inria.fr/sympa/arc/hwloc-announce/2025-05/msg00001.html"); ?> diff --git a/projects/hwloc/doc/hwloc-v2.12.1rc1-a4.pdf b/projects/hwloc/doc/hwloc-v2.12.1-a4.pdf similarity index 97% rename from projects/hwloc/doc/hwloc-v2.12.1rc1-a4.pdf rename to projects/hwloc/doc/hwloc-v2.12.1-a4.pdf index 77169e196..734bfb0cd 100644 Binary files a/projects/hwloc/doc/hwloc-v2.12.1rc1-a4.pdf and b/projects/hwloc/doc/hwloc-v2.12.1-a4.pdf differ diff --git a/projects/hwloc/doc/hwloc-v2.12.1rc1-letter.pdf b/projects/hwloc/doc/hwloc-v2.12.1-letter.pdf similarity index 97% rename from projects/hwloc/doc/hwloc-v2.12.1rc1-letter.pdf rename to projects/hwloc/doc/hwloc-v2.12.1-letter.pdf index a6d7095af..173cc0843 100644 Binary files a/projects/hwloc/doc/hwloc-v2.12.1rc1-letter.pdf and b/projects/hwloc/doc/hwloc-v2.12.1-letter.pdf differ diff --git a/projects/hwloc/doc/index.php b/projects/hwloc/doc/index.php index c3a077468..4e23fde05 100644 --- a/projects/hwloc/doc/index.php +++ b/projects/hwloc/doc/index.php @@ -36,7 +36,7 @@ function print_docs($desc, $letterpdf, $a4pdf, $html) { ######################################################### -$versions = array("v2.12.0"); +$versions = array("v2.12.1", "v2.12.0"); $first = 1; foreach ($versions as $key => $v) { print_docs("Release $v (new" . (!$first ? ", old" : "") . ")", diff --git a/projects/hwloc/doc/v2.12.1rc1/a00071_source.php b/projects/hwloc/doc/v2.12.1/a00071_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00071_source.php rename to projects/hwloc/doc/v2.12.1/a00071_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00074_source.php b/projects/hwloc/doc/v2.12.1/a00074_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00074_source.php rename to projects/hwloc/doc/v2.12.1/a00074_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00077_source.php b/projects/hwloc/doc/v2.12.1/a00077_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00077_source.php rename to projects/hwloc/doc/v2.12.1/a00077_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00080_source.php b/projects/hwloc/doc/v2.12.1/a00080_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00080_source.php rename to projects/hwloc/doc/v2.12.1/a00080_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00083_source.php b/projects/hwloc/doc/v2.12.1/a00083_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00083_source.php rename to projects/hwloc/doc/v2.12.1/a00083_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00086_source.php b/projects/hwloc/doc/v2.12.1/a00086_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00086_source.php rename to projects/hwloc/doc/v2.12.1/a00086_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00089_source.php b/projects/hwloc/doc/v2.12.1/a00089_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00089_source.php rename to projects/hwloc/doc/v2.12.1/a00089_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00092_source.php b/projects/hwloc/doc/v2.12.1/a00092_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00092_source.php rename to projects/hwloc/doc/v2.12.1/a00092_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00095_source.php b/projects/hwloc/doc/v2.12.1/a00095_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00095_source.php rename to projects/hwloc/doc/v2.12.1/a00095_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00098_source.php b/projects/hwloc/doc/v2.12.1/a00098_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00098_source.php rename to projects/hwloc/doc/v2.12.1/a00098_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00101_source.php b/projects/hwloc/doc/v2.12.1/a00101_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00101_source.php rename to projects/hwloc/doc/v2.12.1/a00101_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00104_source.php b/projects/hwloc/doc/v2.12.1/a00104_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00104_source.php rename to projects/hwloc/doc/v2.12.1/a00104_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00107_source.php b/projects/hwloc/doc/v2.12.1/a00107_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00107_source.php rename to projects/hwloc/doc/v2.12.1/a00107_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00110_source.php b/projects/hwloc/doc/v2.12.1/a00110_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00110_source.php rename to projects/hwloc/doc/v2.12.1/a00110_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00113_source.php b/projects/hwloc/doc/v2.12.1/a00113_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00113_source.php rename to projects/hwloc/doc/v2.12.1/a00113_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00116_source.php b/projects/hwloc/doc/v2.12.1/a00116_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00116_source.php rename to projects/hwloc/doc/v2.12.1/a00116_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00119_source.php b/projects/hwloc/doc/v2.12.1/a00119_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00119_source.php rename to projects/hwloc/doc/v2.12.1/a00119_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00122_source.php b/projects/hwloc/doc/v2.12.1/a00122_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00122_source.php rename to projects/hwloc/doc/v2.12.1/a00122_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00125_source.php b/projects/hwloc/doc/v2.12.1/a00125_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00125_source.php rename to projects/hwloc/doc/v2.12.1/a00125_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00128_source.php b/projects/hwloc/doc/v2.12.1/a00128_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00128_source.php rename to projects/hwloc/doc/v2.12.1/a00128_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00131_source.php b/projects/hwloc/doc/v2.12.1/a00131_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00131_source.php rename to projects/hwloc/doc/v2.12.1/a00131_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00134_source.php b/projects/hwloc/doc/v2.12.1/a00134_source.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00134_source.php rename to projects/hwloc/doc/v2.12.1/a00134_source.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00137.php b/projects/hwloc/doc/v2.12.1/a00137.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00137.php rename to projects/hwloc/doc/v2.12.1/a00137.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00138.php b/projects/hwloc/doc/v2.12.1/a00138.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00138.php rename to projects/hwloc/doc/v2.12.1/a00138.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00139.php b/projects/hwloc/doc/v2.12.1/a00139.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00139.php rename to projects/hwloc/doc/v2.12.1/a00139.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00140.php b/projects/hwloc/doc/v2.12.1/a00140.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00140.php rename to projects/hwloc/doc/v2.12.1/a00140.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00141.php b/projects/hwloc/doc/v2.12.1/a00141.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00141.php rename to projects/hwloc/doc/v2.12.1/a00141.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00142.php b/projects/hwloc/doc/v2.12.1/a00142.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00142.php rename to projects/hwloc/doc/v2.12.1/a00142.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00143.php b/projects/hwloc/doc/v2.12.1/a00143.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00143.php rename to projects/hwloc/doc/v2.12.1/a00143.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00144.php b/projects/hwloc/doc/v2.12.1/a00144.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00144.php rename to projects/hwloc/doc/v2.12.1/a00144.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00145.php b/projects/hwloc/doc/v2.12.1/a00145.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00145.php rename to projects/hwloc/doc/v2.12.1/a00145.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00146.php b/projects/hwloc/doc/v2.12.1/a00146.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00146.php rename to projects/hwloc/doc/v2.12.1/a00146.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00147.php b/projects/hwloc/doc/v2.12.1/a00147.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00147.php rename to projects/hwloc/doc/v2.12.1/a00147.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00148.php b/projects/hwloc/doc/v2.12.1/a00148.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00148.php rename to projects/hwloc/doc/v2.12.1/a00148.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00149.php b/projects/hwloc/doc/v2.12.1/a00149.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00149.php rename to projects/hwloc/doc/v2.12.1/a00149.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00150.php b/projects/hwloc/doc/v2.12.1/a00150.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00150.php rename to projects/hwloc/doc/v2.12.1/a00150.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00151.php b/projects/hwloc/doc/v2.12.1/a00151.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00151.php rename to projects/hwloc/doc/v2.12.1/a00151.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00152.php b/projects/hwloc/doc/v2.12.1/a00152.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00152.php rename to projects/hwloc/doc/v2.12.1/a00152.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00153.php b/projects/hwloc/doc/v2.12.1/a00153.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00153.php rename to projects/hwloc/doc/v2.12.1/a00153.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00154.php b/projects/hwloc/doc/v2.12.1/a00154.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00154.php rename to projects/hwloc/doc/v2.12.1/a00154.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00155.php b/projects/hwloc/doc/v2.12.1/a00155.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00155.php rename to projects/hwloc/doc/v2.12.1/a00155.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00156.php b/projects/hwloc/doc/v2.12.1/a00156.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00156.php rename to projects/hwloc/doc/v2.12.1/a00156.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00157.php b/projects/hwloc/doc/v2.12.1/a00157.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00157.php rename to projects/hwloc/doc/v2.12.1/a00157.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00158.php b/projects/hwloc/doc/v2.12.1/a00158.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00158.php rename to projects/hwloc/doc/v2.12.1/a00158.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00159.php b/projects/hwloc/doc/v2.12.1/a00159.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00159.php rename to projects/hwloc/doc/v2.12.1/a00159.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00160.php b/projects/hwloc/doc/v2.12.1/a00160.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00160.php rename to projects/hwloc/doc/v2.12.1/a00160.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00161.php b/projects/hwloc/doc/v2.12.1/a00161.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00161.php rename to projects/hwloc/doc/v2.12.1/a00161.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00162.php b/projects/hwloc/doc/v2.12.1/a00162.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00162.php rename to projects/hwloc/doc/v2.12.1/a00162.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00163.php b/projects/hwloc/doc/v2.12.1/a00163.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00163.php rename to projects/hwloc/doc/v2.12.1/a00163.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00164.php b/projects/hwloc/doc/v2.12.1/a00164.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00164.php rename to projects/hwloc/doc/v2.12.1/a00164.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00165.php b/projects/hwloc/doc/v2.12.1/a00165.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00165.php rename to projects/hwloc/doc/v2.12.1/a00165.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00166.php b/projects/hwloc/doc/v2.12.1/a00166.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00166.php rename to projects/hwloc/doc/v2.12.1/a00166.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00167.php b/projects/hwloc/doc/v2.12.1/a00167.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00167.php rename to projects/hwloc/doc/v2.12.1/a00167.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00168.php b/projects/hwloc/doc/v2.12.1/a00168.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00168.php rename to projects/hwloc/doc/v2.12.1/a00168.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00169.php b/projects/hwloc/doc/v2.12.1/a00169.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00169.php rename to projects/hwloc/doc/v2.12.1/a00169.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00170.php b/projects/hwloc/doc/v2.12.1/a00170.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00170.php rename to projects/hwloc/doc/v2.12.1/a00170.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00171.php b/projects/hwloc/doc/v2.12.1/a00171.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00171.php rename to projects/hwloc/doc/v2.12.1/a00171.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00172.php b/projects/hwloc/doc/v2.12.1/a00172.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00172.php rename to projects/hwloc/doc/v2.12.1/a00172.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00173.php b/projects/hwloc/doc/v2.12.1/a00173.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00173.php rename to projects/hwloc/doc/v2.12.1/a00173.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00174.php b/projects/hwloc/doc/v2.12.1/a00174.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00174.php rename to projects/hwloc/doc/v2.12.1/a00174.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00175.php b/projects/hwloc/doc/v2.12.1/a00175.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00175.php rename to projects/hwloc/doc/v2.12.1/a00175.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00176.php b/projects/hwloc/doc/v2.12.1/a00176.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00176.php rename to projects/hwloc/doc/v2.12.1/a00176.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00177.php b/projects/hwloc/doc/v2.12.1/a00177.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00177.php rename to projects/hwloc/doc/v2.12.1/a00177.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00178.php b/projects/hwloc/doc/v2.12.1/a00178.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00178.php rename to projects/hwloc/doc/v2.12.1/a00178.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00179.php b/projects/hwloc/doc/v2.12.1/a00179.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00179.php rename to projects/hwloc/doc/v2.12.1/a00179.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00180.php b/projects/hwloc/doc/v2.12.1/a00180.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00180.php rename to projects/hwloc/doc/v2.12.1/a00180.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00181.php b/projects/hwloc/doc/v2.12.1/a00181.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00181.php rename to projects/hwloc/doc/v2.12.1/a00181.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00182.php b/projects/hwloc/doc/v2.12.1/a00182.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00182.php rename to projects/hwloc/doc/v2.12.1/a00182.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00183.php b/projects/hwloc/doc/v2.12.1/a00183.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00183.php rename to projects/hwloc/doc/v2.12.1/a00183.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00184.php b/projects/hwloc/doc/v2.12.1/a00184.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00184.php rename to projects/hwloc/doc/v2.12.1/a00184.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00185.php b/projects/hwloc/doc/v2.12.1/a00185.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00185.php rename to projects/hwloc/doc/v2.12.1/a00185.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00186.php b/projects/hwloc/doc/v2.12.1/a00186.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00186.php rename to projects/hwloc/doc/v2.12.1/a00186.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00187.php b/projects/hwloc/doc/v2.12.1/a00187.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00187.php rename to projects/hwloc/doc/v2.12.1/a00187.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00188.php b/projects/hwloc/doc/v2.12.1/a00188.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00188.php rename to projects/hwloc/doc/v2.12.1/a00188.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00189.php b/projects/hwloc/doc/v2.12.1/a00189.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00189.php rename to projects/hwloc/doc/v2.12.1/a00189.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00190.php b/projects/hwloc/doc/v2.12.1/a00190.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00190.php rename to projects/hwloc/doc/v2.12.1/a00190.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00191.php b/projects/hwloc/doc/v2.12.1/a00191.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00191.php rename to projects/hwloc/doc/v2.12.1/a00191.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00192.php b/projects/hwloc/doc/v2.12.1/a00192.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00192.php rename to projects/hwloc/doc/v2.12.1/a00192.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00196.php b/projects/hwloc/doc/v2.12.1/a00196.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00196.php rename to projects/hwloc/doc/v2.12.1/a00196.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00200.php b/projects/hwloc/doc/v2.12.1/a00200.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00200.php rename to projects/hwloc/doc/v2.12.1/a00200.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00204.php b/projects/hwloc/doc/v2.12.1/a00204.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00204.php rename to projects/hwloc/doc/v2.12.1/a00204.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00208.php b/projects/hwloc/doc/v2.12.1/a00208.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00208.php rename to projects/hwloc/doc/v2.12.1/a00208.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00212.php b/projects/hwloc/doc/v2.12.1/a00212.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00212.php rename to projects/hwloc/doc/v2.12.1/a00212.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00216.php b/projects/hwloc/doc/v2.12.1/a00216.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00216.php rename to projects/hwloc/doc/v2.12.1/a00216.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00220.php b/projects/hwloc/doc/v2.12.1/a00220.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00220.php rename to projects/hwloc/doc/v2.12.1/a00220.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00224.php b/projects/hwloc/doc/v2.12.1/a00224.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00224.php rename to projects/hwloc/doc/v2.12.1/a00224.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00240.php b/projects/hwloc/doc/v2.12.1/a00240.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00240.php rename to projects/hwloc/doc/v2.12.1/a00240.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00244.php b/projects/hwloc/doc/v2.12.1/a00244.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00244.php rename to projects/hwloc/doc/v2.12.1/a00244.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00248.php b/projects/hwloc/doc/v2.12.1/a00248.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00248.php rename to projects/hwloc/doc/v2.12.1/a00248.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00252.php b/projects/hwloc/doc/v2.12.1/a00252.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00252.php rename to projects/hwloc/doc/v2.12.1/a00252.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00256.php b/projects/hwloc/doc/v2.12.1/a00256.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00256.php rename to projects/hwloc/doc/v2.12.1/a00256.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00260.php b/projects/hwloc/doc/v2.12.1/a00260.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00260.php rename to projects/hwloc/doc/v2.12.1/a00260.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00264.php b/projects/hwloc/doc/v2.12.1/a00264.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00264.php rename to projects/hwloc/doc/v2.12.1/a00264.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00268.php b/projects/hwloc/doc/v2.12.1/a00268.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00268.php rename to projects/hwloc/doc/v2.12.1/a00268.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00272.php b/projects/hwloc/doc/v2.12.1/a00272.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00272.php rename to projects/hwloc/doc/v2.12.1/a00272.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00276.php b/projects/hwloc/doc/v2.12.1/a00276.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00276.php rename to projects/hwloc/doc/v2.12.1/a00276.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00280.php b/projects/hwloc/doc/v2.12.1/a00280.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00280.php rename to projects/hwloc/doc/v2.12.1/a00280.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00284.php b/projects/hwloc/doc/v2.12.1/a00284.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00284.php rename to projects/hwloc/doc/v2.12.1/a00284.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00296.php b/projects/hwloc/doc/v2.12.1/a00296.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00296.php rename to projects/hwloc/doc/v2.12.1/a00296.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00300.php b/projects/hwloc/doc/v2.12.1/a00300.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00300.php rename to projects/hwloc/doc/v2.12.1/a00300.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00304.php b/projects/hwloc/doc/v2.12.1/a00304.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00304.php rename to projects/hwloc/doc/v2.12.1/a00304.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00308.php b/projects/hwloc/doc/v2.12.1/a00308.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00308.php rename to projects/hwloc/doc/v2.12.1/a00308.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00312.php b/projects/hwloc/doc/v2.12.1/a00312.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00312.php rename to projects/hwloc/doc/v2.12.1/a00312.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00316.php b/projects/hwloc/doc/v2.12.1/a00316.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00316.php rename to projects/hwloc/doc/v2.12.1/a00316.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00320.php b/projects/hwloc/doc/v2.12.1/a00320.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00320.php rename to projects/hwloc/doc/v2.12.1/a00320.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00324.php b/projects/hwloc/doc/v2.12.1/a00324.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00324.php rename to projects/hwloc/doc/v2.12.1/a00324.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00328.php b/projects/hwloc/doc/v2.12.1/a00328.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00328.php rename to projects/hwloc/doc/v2.12.1/a00328.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00332.php b/projects/hwloc/doc/v2.12.1/a00332.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00332.php rename to projects/hwloc/doc/v2.12.1/a00332.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00336.php b/projects/hwloc/doc/v2.12.1/a00336.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00336.php rename to projects/hwloc/doc/v2.12.1/a00336.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00340.php b/projects/hwloc/doc/v2.12.1/a00340.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00340.php rename to projects/hwloc/doc/v2.12.1/a00340.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00341.php b/projects/hwloc/doc/v2.12.1/a00341.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00341.php rename to projects/hwloc/doc/v2.12.1/a00341.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00342.php b/projects/hwloc/doc/v2.12.1/a00342.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00342.php rename to projects/hwloc/doc/v2.12.1/a00342.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00343.php b/projects/hwloc/doc/v2.12.1/a00343.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00343.php rename to projects/hwloc/doc/v2.12.1/a00343.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00344.php b/projects/hwloc/doc/v2.12.1/a00344.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00344.php rename to projects/hwloc/doc/v2.12.1/a00344.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00345.php b/projects/hwloc/doc/v2.12.1/a00345.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00345.php rename to projects/hwloc/doc/v2.12.1/a00345.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00346.php b/projects/hwloc/doc/v2.12.1/a00346.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00346.php rename to projects/hwloc/doc/v2.12.1/a00346.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00347.php b/projects/hwloc/doc/v2.12.1/a00347.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00347.php rename to projects/hwloc/doc/v2.12.1/a00347.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00348.php b/projects/hwloc/doc/v2.12.1/a00348.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00348.php rename to projects/hwloc/doc/v2.12.1/a00348.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00349.php b/projects/hwloc/doc/v2.12.1/a00349.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00349.php rename to projects/hwloc/doc/v2.12.1/a00349.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00350.php b/projects/hwloc/doc/v2.12.1/a00350.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00350.php rename to projects/hwloc/doc/v2.12.1/a00350.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00351.php b/projects/hwloc/doc/v2.12.1/a00351.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00351.php rename to projects/hwloc/doc/v2.12.1/a00351.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00352.php b/projects/hwloc/doc/v2.12.1/a00352.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00352.php rename to projects/hwloc/doc/v2.12.1/a00352.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00353.php b/projects/hwloc/doc/v2.12.1/a00353.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00353.php rename to projects/hwloc/doc/v2.12.1/a00353.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00354.php b/projects/hwloc/doc/v2.12.1/a00354.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00354.php rename to projects/hwloc/doc/v2.12.1/a00354.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00355.php b/projects/hwloc/doc/v2.12.1/a00355.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00355.php rename to projects/hwloc/doc/v2.12.1/a00355.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00356.php b/projects/hwloc/doc/v2.12.1/a00356.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00356.php rename to projects/hwloc/doc/v2.12.1/a00356.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00357.php b/projects/hwloc/doc/v2.12.1/a00357.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00357.php rename to projects/hwloc/doc/v2.12.1/a00357.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00358.php b/projects/hwloc/doc/v2.12.1/a00358.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00358.php rename to projects/hwloc/doc/v2.12.1/a00358.php diff --git a/projects/hwloc/doc/v2.12.1rc1/a00359.php b/projects/hwloc/doc/v2.12.1/a00359.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/a00359.php rename to projects/hwloc/doc/v2.12.1/a00359.php diff --git a/projects/hwloc/doc/v2.12.1rc1/annotated.php b/projects/hwloc/doc/v2.12.1/annotated.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/annotated.php rename to projects/hwloc/doc/v2.12.1/annotated.php diff --git a/projects/hwloc/doc/v2.12.1rc1/bc_s.png b/projects/hwloc/doc/v2.12.1/bc_s.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/bc_s.png rename to projects/hwloc/doc/v2.12.1/bc_s.png diff --git a/projects/hwloc/doc/v2.12.1rc1/bc_sd.png b/projects/hwloc/doc/v2.12.1/bc_sd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/bc_sd.png rename to projects/hwloc/doc/v2.12.1/bc_sd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/classes.php b/projects/hwloc/doc/v2.12.1/classes.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/classes.php rename to projects/hwloc/doc/v2.12.1/classes.php diff --git a/projects/hwloc/doc/v2.12.1rc1/closed.png b/projects/hwloc/doc/v2.12.1/closed.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/closed.png rename to projects/hwloc/doc/v2.12.1/closed.png diff --git a/projects/hwloc/doc/v2.12.1rc1/devel09-pci.png b/projects/hwloc/doc/v2.12.1/devel09-pci.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/devel09-pci.png rename to projects/hwloc/doc/v2.12.1/devel09-pci.png diff --git a/projects/hwloc/doc/v2.12.1rc1/diagram.png b/projects/hwloc/doc/v2.12.1/diagram.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/diagram.png rename to projects/hwloc/doc/v2.12.1/diagram.png diff --git a/projects/hwloc/doc/v2.12.1rc1/dir_5cb306d949c7931a3b6c77517393dd34.php b/projects/hwloc/doc/v2.12.1/dir_5cb306d949c7931a3b6c77517393dd34.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/dir_5cb306d949c7931a3b6c77517393dd34.php rename to projects/hwloc/doc/v2.12.1/dir_5cb306d949c7931a3b6c77517393dd34.php diff --git a/projects/hwloc/doc/v2.12.1rc1/dir_d44c64559bbebec7f509842c48db8b23.php b/projects/hwloc/doc/v2.12.1/dir_d44c64559bbebec7f509842c48db8b23.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/dir_d44c64559bbebec7f509842c48db8b23.php rename to projects/hwloc/doc/v2.12.1/dir_d44c64559bbebec7f509842c48db8b23.php diff --git a/projects/hwloc/doc/v2.12.1rc1/doc.svg b/projects/hwloc/doc/v2.12.1/doc.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/doc.svg rename to projects/hwloc/doc/v2.12.1/doc.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/docd.svg b/projects/hwloc/doc/v2.12.1/docd.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/docd.svg rename to projects/hwloc/doc/v2.12.1/docd.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/doxygen.css b/projects/hwloc/doc/v2.12.1/doxygen.css similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/doxygen.css rename to projects/hwloc/doc/v2.12.1/doxygen.css diff --git a/projects/hwloc/doc/v2.12.1rc1/doxygen.svg b/projects/hwloc/doc/v2.12.1/doxygen.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/doxygen.svg rename to projects/hwloc/doc/v2.12.1/doxygen.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/dudley.png b/projects/hwloc/doc/v2.12.1/dudley.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/dudley.png rename to projects/hwloc/doc/v2.12.1/dudley.png diff --git a/projects/hwloc/doc/v2.12.1rc1/dynsections.js b/projects/hwloc/doc/v2.12.1/dynsections.js similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/dynsections.js rename to projects/hwloc/doc/v2.12.1/dynsections.js diff --git a/projects/hwloc/doc/v2.12.1rc1/emmett.png b/projects/hwloc/doc/v2.12.1/emmett.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/emmett.png rename to projects/hwloc/doc/v2.12.1/emmett.png diff --git a/projects/hwloc/doc/v2.12.1rc1/folderclosed.svg b/projects/hwloc/doc/v2.12.1/folderclosed.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/folderclosed.svg rename to projects/hwloc/doc/v2.12.1/folderclosed.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/folderclosedd.svg b/projects/hwloc/doc/v2.12.1/folderclosedd.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/folderclosedd.svg rename to projects/hwloc/doc/v2.12.1/folderclosedd.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/folderopen.svg b/projects/hwloc/doc/v2.12.1/folderopen.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/folderopen.svg rename to projects/hwloc/doc/v2.12.1/folderopen.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/folderopend.svg b/projects/hwloc/doc/v2.12.1/folderopend.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/folderopend.svg rename to projects/hwloc/doc/v2.12.1/folderopend.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/functions.php b/projects/hwloc/doc/v2.12.1/functions.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/functions.php rename to projects/hwloc/doc/v2.12.1/functions.php diff --git a/projects/hwloc/doc/v2.12.1rc1/functions_vars.php b/projects/hwloc/doc/v2.12.1/functions_vars.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/functions_vars.php rename to projects/hwloc/doc/v2.12.1/functions_vars.php diff --git a/projects/hwloc/doc/v2.12.1rc1/hagrid.png b/projects/hwloc/doc/v2.12.1/hagrid.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/hagrid.png rename to projects/hwloc/doc/v2.12.1/hagrid.png diff --git a/projects/hwloc/doc/v2.12.1rc1/heteromem.png b/projects/hwloc/doc/v2.12.1/heteromem.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/heteromem.png rename to projects/hwloc/doc/v2.12.1/heteromem.png diff --git a/projects/hwloc/doc/v2.12.1rc1/index.php b/projects/hwloc/doc/v2.12.1/index.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/index.php rename to projects/hwloc/doc/v2.12.1/index.php diff --git a/projects/hwloc/doc/v2.12.1rc1/jquery.js b/projects/hwloc/doc/v2.12.1/jquery.js similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/jquery.js rename to projects/hwloc/doc/v2.12.1/jquery.js diff --git a/projects/hwloc/doc/v2.12.1rc1/menu.js b/projects/hwloc/doc/v2.12.1/menu.js similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/menu.js rename to projects/hwloc/doc/v2.12.1/menu.js diff --git a/projects/hwloc/doc/v2.12.1rc1/menudata.js b/projects/hwloc/doc/v2.12.1/menudata.js similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/menudata.js rename to projects/hwloc/doc/v2.12.1/menudata.js diff --git a/projects/hwloc/doc/v2.12.1rc1/minus.svg b/projects/hwloc/doc/v2.12.1/minus.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/minus.svg rename to projects/hwloc/doc/v2.12.1/minus.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/minusd.svg b/projects/hwloc/doc/v2.12.1/minusd.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/minusd.svg rename to projects/hwloc/doc/v2.12.1/minusd.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/nav_f.png b/projects/hwloc/doc/v2.12.1/nav_f.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/nav_f.png rename to projects/hwloc/doc/v2.12.1/nav_f.png diff --git a/projects/hwloc/doc/v2.12.1rc1/nav_fd.png b/projects/hwloc/doc/v2.12.1/nav_fd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/nav_fd.png rename to projects/hwloc/doc/v2.12.1/nav_fd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/nav_g.png b/projects/hwloc/doc/v2.12.1/nav_g.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/nav_g.png rename to projects/hwloc/doc/v2.12.1/nav_g.png diff --git a/projects/hwloc/doc/v2.12.1rc1/nav_h.png b/projects/hwloc/doc/v2.12.1/nav_h.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/nav_h.png rename to projects/hwloc/doc/v2.12.1/nav_h.png diff --git a/projects/hwloc/doc/v2.12.1rc1/nav_hd.png b/projects/hwloc/doc/v2.12.1/nav_hd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/nav_hd.png rename to projects/hwloc/doc/v2.12.1/nav_hd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/open.png b/projects/hwloc/doc/v2.12.1/open.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/open.png rename to projects/hwloc/doc/v2.12.1/open.png diff --git a/projects/hwloc/doc/v2.12.1rc1/pages.php b/projects/hwloc/doc/v2.12.1/pages.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/pages.php rename to projects/hwloc/doc/v2.12.1/pages.php diff --git a/projects/hwloc/doc/v2.12.1rc1/plus.svg b/projects/hwloc/doc/v2.12.1/plus.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/plus.svg rename to projects/hwloc/doc/v2.12.1/plus.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/plusd.svg b/projects/hwloc/doc/v2.12.1/plusd.svg similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/plusd.svg rename to projects/hwloc/doc/v2.12.1/plusd.svg diff --git a/projects/hwloc/doc/v2.12.1rc1/ppc64-full-with-smt.png b/projects/hwloc/doc/v2.12.1/ppc64-full-with-smt.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/ppc64-full-with-smt.png rename to projects/hwloc/doc/v2.12.1/ppc64-full-with-smt.png diff --git a/projects/hwloc/doc/v2.12.1rc1/ppc64-with-smt.png b/projects/hwloc/doc/v2.12.1/ppc64-with-smt.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/ppc64-with-smt.png rename to projects/hwloc/doc/v2.12.1/ppc64-with-smt.png diff --git a/projects/hwloc/doc/v2.12.1rc1/ppc64-without-smt.png b/projects/hwloc/doc/v2.12.1/ppc64-without-smt.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/ppc64-without-smt.png rename to projects/hwloc/doc/v2.12.1/ppc64-without-smt.png diff --git a/projects/hwloc/doc/v2.12.1rc1/splitbar.png b/projects/hwloc/doc/v2.12.1/splitbar.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/splitbar.png rename to projects/hwloc/doc/v2.12.1/splitbar.png diff --git a/projects/hwloc/doc/v2.12.1rc1/splitbard.png b/projects/hwloc/doc/v2.12.1/splitbard.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/splitbard.png rename to projects/hwloc/doc/v2.12.1/splitbard.png diff --git a/projects/hwloc/doc/v2.12.1rc1/sync_off.png b/projects/hwloc/doc/v2.12.1/sync_off.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/sync_off.png rename to projects/hwloc/doc/v2.12.1/sync_off.png diff --git a/projects/hwloc/doc/v2.12.1rc1/sync_on.png b/projects/hwloc/doc/v2.12.1/sync_on.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/sync_on.png rename to projects/hwloc/doc/v2.12.1/sync_on.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_a.png b/projects/hwloc/doc/v2.12.1/tab_a.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_a.png rename to projects/hwloc/doc/v2.12.1/tab_a.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_ad.png b/projects/hwloc/doc/v2.12.1/tab_ad.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_ad.png rename to projects/hwloc/doc/v2.12.1/tab_ad.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_b.png b/projects/hwloc/doc/v2.12.1/tab_b.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_b.png rename to projects/hwloc/doc/v2.12.1/tab_b.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_bd.png b/projects/hwloc/doc/v2.12.1/tab_bd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_bd.png rename to projects/hwloc/doc/v2.12.1/tab_bd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_h.png b/projects/hwloc/doc/v2.12.1/tab_h.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_h.png rename to projects/hwloc/doc/v2.12.1/tab_h.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_hd.png b/projects/hwloc/doc/v2.12.1/tab_hd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_hd.png rename to projects/hwloc/doc/v2.12.1/tab_hd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_s.png b/projects/hwloc/doc/v2.12.1/tab_s.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_s.png rename to projects/hwloc/doc/v2.12.1/tab_s.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tab_sd.png b/projects/hwloc/doc/v2.12.1/tab_sd.png similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tab_sd.png rename to projects/hwloc/doc/v2.12.1/tab_sd.png diff --git a/projects/hwloc/doc/v2.12.1rc1/tabs.css b/projects/hwloc/doc/v2.12.1/tabs.css similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/tabs.css rename to projects/hwloc/doc/v2.12.1/tabs.css diff --git a/projects/hwloc/doc/v2.12.1rc1/topics.php b/projects/hwloc/doc/v2.12.1/topics.php similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/topics.php rename to projects/hwloc/doc/v2.12.1/topics.php diff --git a/projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-css.inc b/projects/hwloc/doc/v2.12.1/www.open-mpi.org-css.inc similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-css.inc rename to projects/hwloc/doc/v2.12.1/www.open-mpi.org-css.inc diff --git a/projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-footer.inc b/projects/hwloc/doc/v2.12.1/www.open-mpi.org-footer.inc similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-footer.inc rename to projects/hwloc/doc/v2.12.1/www.open-mpi.org-footer.inc diff --git a/projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-header.inc b/projects/hwloc/doc/v2.12.1/www.open-mpi.org-header.inc similarity index 100% rename from projects/hwloc/doc/v2.12.1rc1/www.open-mpi.org-header.inc rename to projects/hwloc/doc/v2.12.1/www.open-mpi.org-header.inc diff --git a/projects/hwloc/index.php b/projects/hwloc/index.php index eb18fe58e..517e77e4e 100644 --- a/projects/hwloc/index.php +++ b/projects/hwloc/index.php @@ -25,15 +25,12 @@ endnews(); skipnews("2"); -news("hwloc 2.12.1rc1", - "Stable release candidate", - "https://sympa.inria.fr/sympa/arc/hwloc-announce/2025-05/msg00000.html"); -news("hwloc 2.12.0", - "Major release", - "https://sympa.inria.fr/sympa/arc/hwloc-announce/2025-02/msg00002.html"); +news("hwloc 2.12.1", + "Stable release", + "https://sympa.inria.fr/sympa/arc/hwloc-announce/2025-05/msg00001.html"); news("Upgrading to v2.0 API", "Guide for Porting your Code", - "doc/v2.12.0/a00359.php"); + "doc/v2.12.1/a00359.php"); news("XML topology database", "Repository of XML topologies", "https://hwloc.gitlabpages.inria.fr/xmls/"); diff --git a/software/hwloc/v2.12/version.inc b/software/hwloc/v2.12/version.inc index 1b4059c91..6cf62312a 100644 --- a/software/hwloc/v2.12/version.inc +++ b/software/hwloc/v2.12/version.inc @@ -11,8 +11,8 @@ $download_prefix="https://download.open-mpi.org/release/hwloc/v" . $release_seri $s3_prefix = "release/hwloc/v" . $release_series . "/"; /* releases must be ordered newest to oldest */ -$releases = array("2.12.0"); +$releases = array("2.12.1", "2.12.0"); /* prereleases must be ordered newest to oldest. All prereleases will be shown, so make an empty array when the official release is added to releases above */ -$prereleases = array("2.12.1rc1"); +$prereleases = array();