www: add a 'mpi_sync_clocks' section to release page

Makefile

@@ -27,22 +27,31 @@ $(strip $(lastword $(sort $(call gen-files,$1))))
 endef
 
 define gen-links
-  <br> <b>\&raquo;\&nbsp;</b><a href=\"$(release_root)/$(call latest-release,$1)\">Latest release: <tt>$(call latest-release,$1)</tt></a><br><br><b>\&raquo;\&nbsp;</b>Release history: <ul> $(foreach f,$(call gen-files,$1),$(call gen-link,$(f))) </ul> 
+  <br> <b>\&raquo;\&nbsp;</b><a href=\"$(release_root)/$(call latest-release,$1)\">Latest release: <tt>$(call latest-release,$1)</tt></a><br><br><b>\&raquo;\&nbsp;</b>Release history: <ul> $(foreach f,$(call gen-files,$1),$(call gen-link,$(f))) </ul>
 endef
 
+SUBSTRING += s,@pm2_RELEASE_STRING@,$(call gen-links,pm2),g;
+SUBSTRING += s,@mpibenchmark_RELEASE_STRING@,$(call gen-links,mpibenchmark),g;
+SUBSTRING += s,@mpi_sync_clocks_RELEASE_STRING@,$(call gen-links,mpi_sync_clocks),g;
+SUBSTRING += s,@bench_nbc_RELEASE_STRING@,$(call gen-links,bench_nbc),g;
+SUBSTRING += s,@marcel_RELEASE_STRING@,$(call gen-links,marcel),g;
+SUBSTRING += s,@pthreadmicro_RELEASE_STRING@,$(call gen-links,pthreadmicro),g;
+SUBSTRING += s,@tbx_RELEASE_STRING@,$(call gen-links,tbx),g;
+SUBSTRING += s,@RELEASE@,$(pm2_RELEASE),g
+
+debug:
+	@echo 'SUBSTRING = "$(SUBSTRING)"'
+
 show:
 	@echo "pm2_FILES   = $(pm2_FILES)"
 	@echo "pm2_LATEST  = $(pm2_LATEST)"
 	@echo "pm2_RELEASE = $(pm2_RELEASE)"
 	@echo
 
-SUBSTRING := "s,@pm2_RELEASE_STRING@,$(call gen-links,pm2),g;s,@mpibenchmark_RELEASE_STRING@,$(call gen-links,mpibenchmark),g;s,@bench_nbc_RELEASE_STRING@,$(call gen-links,bench_nbc),g;s,@marcel_RELEASE_STRING@,$(call gen-links,marcel),g;s,@pthreadmicro_RELEASE_STRING@,$(call gen-links,pthreadmicro),g;s,@tbx_RELEASE_STRING@,$(call gen-links,tbx),g;s,@RELEASE@,$(pm2_RELEASE),g"
-
 public/releases/index.html: public/releases/index.html.in $(wildcard public/releases/*.tar.gz)
-	sed -e $(SUBSTRING) \
+	sed -e "$(SUBSTRING)" \
          public/releases/index.html.in > public/releases/index.html
 
 
 public/%/index.html: public/%/index.html.in $(pm2_LATEST)
-	sed -e $(SUBSTRING) public/$*/index.html.in > public/$*/index.html
-
+	sed -e "$(SUBSTRING)" public/$*/index.html.in > public/$*/index.html

public/releases/index.html.in

@@ -66,6 +66,12 @@
       <p>
 	@mpibenchmark_RELEASE_STRING@
       </p>
+
+      <h2>MPI Sync Clocks (mpi_sync_clocks)</h2>
+      <p>
+	@mpi_sync_clocks_RELEASE_STRING@
+      </p>
+
       <h2>BenchNBC</h2>
       <p>
 	@bench_nbc_RELEASE_STRING@
@@ -75,7 +81,7 @@
     <div class="sec">
       <a name="legacy"></a>
       <h1>
-	Legacy modules
+	Obsolete modules
       </h1>
       <h2>Marcel</h2>
       <p>