[gedit] docs: Provide a button for direct installation of 'gedit-plugins' package

[Andre Klapper <aklapper src gnome org>]

commit bca5e8276eae5ddcff0860a602e502e875cf89c8
Author: Andre Klapper <a9016009 gmx de>
Date:   Sun Sep 17 03:16:05 2017 +0200

    docs: Provide a button for direct installation of 'gedit-plugins' package

 help/C/gedit-plugin-guide.page |   12 +++++++++++-
 1 files changed, 11 insertions(+), 1 deletions(-)
---
diff --git a/help/C/gedit-plugin-guide.page b/help/C/gedit-plugin-guide.page
index c49cbb9..cd2a77b 100644
--- a/help/C/gedit-plugin-guide.page
+++ b/help/C/gedit-plugin-guide.page
@@ -1,4 +1,6 @@
 <page xmlns="http://projectmallard.org/1.0/";
+      xmlns:e="http://projectmallard.org/experimental/";
+      xmlns:if="http://projectmallard.org/experimental/if/";
       type="guide" style="task"
       id="gedit-plugin-guide">
 
@@ -6,6 +8,7 @@
     <link type="guide" xref="index#gedit-plugins"/>
     <desc>Use plugins to customize how gedit works for you.</desc> 
     <revision pkgversion="3.8" date="2013-02-24" status="review"/>
+    <revision pkgversion="3.24" date="2017-09-17" status="review"/>
     <credit type="author">
       <name>Jim Campbell</name>
       <email>jcampbell gnome org</email>
@@ -20,7 +23,14 @@
   
   <note><p>Many Linux distributions make a group of these plugins available as 
   a <app>gedit-plugins</app> package.  Install the <app>gedit-plugins</app> 
-  package to make these extra plugins available to <app>gedit</app>.</p></note>
+  package to make these extra plugins available to <app>gedit</app>.</p>
+
+  <if:choose xmlns:if="http://projectmallard.org/if/1.0/";>
+    <if:when test="action:install">
+      <p><link action="install:gedit-plugins" href="ftp://ftp.gnome.org/pub/gnome/sources/gedit-plugins/"; 
style="button">Install gedit-plugins</link></p>
+    </if:when>
+  </if:choose>
+  </note>
 
   <section id="gedit-default-plugins" style="2column">
        <title>Default gedit Plugins</title>