diff --git a/fc-discuss/Makefile b/fc-discuss/Makefile index d20aaedba0c1fb0a33705bf03d78256e93b8b4b6..1af7ad600a3fb4b5f03d2fb56ecfe1a1c68b2648 100644 --- a/fc-discuss/Makefile +++ b/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 $@) $< diff --git a/fc-discuss/archives-header.md b/fc-discuss/archives-header.md index 3394e66790bbf84a08a4f89aa09c2654febdf28f..d1a5cd46ec158ae392e2ebc2155d7714af0587c1 100644 --- a/fc-discuss/archives-header.md +++ b/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)