From 1a1769ecf31f58529312fae434a70e627698b40f Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 4 Mar 2022 16:44:06 +0100
Subject: [PATCH] Makefile: cleanup ugly link

---
 Makefile | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 67053cf..35bdb98 100644
--- a/Makefile
+++ b/Makefile
@@ -2,7 +2,9 @@ all: public/good_practices.html \
 	README.md
 
 public/good_practices.html: good_practices.tex bibliography.bib  github-pandoc.css
-	pandoc good_practices.tex --bibliography=bibliography.bib -c github-pandoc.css --citeproc --toc --standalone --number-sections -o public/good_practices.html
+	pandoc good_practices.tex --bibliography=bibliography.bib -c github-pandoc.css --citeproc --toc --standalone --number-sections -o public/good_practices.html \
+	&& sed -Ei 's|>\[sec:(.*)\]<|>\1<|g' public/good_practices.html
 
 README.md: good_practices.tex bibliography.bib
-	pandoc good_practices.tex --bibliography=bibliography.bib  --citeproc --toc --standalone --number-sections -o README.md
+	pandoc good_practices.tex --bibliography=bibliography.bib  --citeproc --toc --standalone --number-sections -o README.md \
+	&& sed -Ei 's|\[\\\[sec:(.*)\\\]\]|[\1]|g' README.md
\ No newline at end of file
-- 
GitLab