From decb92ef3daca117b515cf5ba4f867e8c4627c5a Mon Sep 17 00:00:00 2001
From: pruizf <pabloruizfabo@gmail.com>
Date: Wed, 12 Aug 2020 18:29:09 +0200
Subject: [PATCH] [dp] publish script modifies ToC 'Outputs' entry

---
 publish.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/publish.sh b/publish.sh
index 7165e22..5af9f8b 100755
--- a/publish.sh
+++ b/publish.sh
@@ -1,5 +1,6 @@
 #!/bin/bash
 
 asciidoctor site/*adoc
+sed -i -e 's/"#_outputs">Outputs<\/a>/#_outputs">Corpus \&amp; Outputs<\/a>/' en.html
 cp -r site/*html public
 cp -r site/{img,styles} public/.
-- 
GitLab