Fix generation of graphical-toc.svg.

Attribute target="_top" was duplicated on line 6120.

diff --git a/docs/Build.sh b/docs/Build.sh
index b9b55f2..4096cfd 100755 (executable)
--- a/docs/Build.sh
+++ b/docs/Build.sh
@@ -32,10 +32,8 @@ PYTHONPATH=../lib sphinx-build -M html source build ${SPHINXOPTS}
 
 set +x
 
-< source/img/graphical-toc.svg \
-   perl -pe 's/(xlink:href="http)/target="_top" $1/' \
- | perl -pe 's/(xlink:href=".*?.html)/target="_top" $1/' \
- > build/html/graphical-toc.svg
+perl -pe 's/(xlink:href="(?:http|.*\.html))/target="_top" $1/' \
+     source/img/graphical-toc.svg > build/html/graphical-toc.svg
 
 echo "List of missing references:"
 for f in $( (grep '<name>' build/xml/msg_8h.xml; \