sed -i 's|https://gitlab.inria.fr/learninglab/|https://learninglab.gitlabpages.inria.fr/|g' ${file%.*}.html;
bin/pandoc_fixer.pl ${file} > ${file}.new;
sed -i "s|<body>|<body>The <a href='https://gitlab.inria.fr/learninglab/mooc-rr/mooc-rr-ressources/blob/master/$file'>original version of this document is available on gitlab</a>.|g" ${file%.*}.html;
mv ${file}.new ${file};
sed -i "s|\-\-\-</p>|<hr/>|g" ${file%.*}.html;
sed -i "s|<p>TITLE:\(.*\)<br|<b>TITLE:\1</b><br|g" ${file%.*}.html;
sed -i "s|Date\(.*\)<br|<i>Date\1</i><br|g" ${file%.*}.html;
done
done
# The next part is broken because pandoc is way too old on this image :(
# The next part is broken because pandoc is way too old on this image :(