[gtk-web: 4/4] Merge branch 'issue-18' into 'master'

[Emmanuele Bassi <ebassi src gnome org>]

commit ae0ff728fc88b0ce6733aed6296b084b7099d723
Merge: 8c8ca71 939071d
Author: Emmanuele Bassi <ebassi gmail com>
Date:   Wed Feb 19 17:15:15 2020 +0000

    Merge branch 'issue-18' into 'master'
    
    Fix various external links
    
    Closes #18
    
    See merge request Infrastructure/gtk-web!25

 _data/navigation.yml               | 10 ++++++++++
 collections/_docs/installations.md |  6 +++---
 collections/_pages/docs.html       |  2 +-
 3 files changed, 14 insertions(+), 4 deletions(-)
---