[archives] draft script working

fc-discuss/Makefile

@@ -2,7 +2,7 @@ ARCHIVES:=$(wildcard *.txt.gz)
 OUTDIR:=html/fc-discuss
 OUTROOT:=..
 OUTTARGET:=$(OUTROOT)/$(OUTDIR)
-HTML:=$(ARCHIVES:%.txt.gz=$(OUTTARGET)/%/index.html)
+HTML:=$(ARCHIVES:%.txt.gz=$(OUTTARGET)/%/maillist.html)
 
 $(OUTTARGET)/archives.md: $(HTML) archives-header.md
 	rm -fr $@
@@ -10,10 +10,11 @@ $(OUTTARGET)/archives.md: $(HTML) archives-header.md
 	$(foreach file,$(HTML), \
 	  BASE=$(file:$(OUTTARGET)/%/index.html=%); \
 	  echo "## $$BASE" >> $@; \
-          echo "- [By date]($(OUTDIR)/$$BASE/index.html)" >> $@; \
-	  echo "- [By thread]($(OUTDIR)/$$BASE/thread.html)" >> $@; \
+          echo "- [By date]($$BASE/maillist.html)" >> $@; \
+	  echo "- [By thread]($$BASE/thread.html)" >> $@; \
+	  echo "" >> $@; \
          )
 
-$(OUTTARGET)/%/index.html: %.txt.gz
+$(OUTTARGET)/%/maillist.html: %.txt.gz
 	mkdir -p $(dir $@)
 	mhonarc -outdir $(dir $@) $<

fc-discuss/archives-header.md

@@ -7,5 +7,5 @@ title: Archives of the old Frama-C-discuss mailing list
 
 This page gathers the archives of the old Frama-C-discuss archives, that was hosted by [Inria](https://www.inria.fr)'s gforge before its demise at the
 end of 2020. To search for mails newer than September 2020, please visit
-the page of the new mailing list at https://groupes.renater.fr/frama-c-discuss
+the page of the new mailing list on [Renater](https://groupes.renater.fr/frama-c-discuss)