diff --git a/bin/pandoc_fixer.pl b/bin/pandoc_fixer.pl index e97a260fa0b0dea07dfb5468ce8a48a3e448f701..ed5b0d9004c2033166a1ebf4f6ba0cabe6fb401d 100755 --- a/bin/pandoc_fixer.pl +++ b/bin/pandoc_fixer.pl @@ -46,6 +46,8 @@ while(defined(my $line=)) { if($line =~ /

.*broken-links:nil/) { next; } + # $line =~ s|https://gitlab.inria.fr/learninglab/|https://learninglab.gitlabpages.inria.fr/|g; ## Not such a good idea! if($line =~ //) { if($output=~ /_fr.html/) {