docs/repositories: make wording a bit more clear

diff --git a/_docs/repositories b/_docs/repositories
index 77bac3e33304e310c2e48e70dd9455ed5dc9f732..91b370915480df095df24a342a3ce530eda6583e 100644 (file)
--- a/_docs/repositories
+++ b/_docs/repositories
@@ -1,16 +1,15 @@
 Debian and Ubuntu repositories
 ==============================
 Michael Stapelberg <michael@i3wm.org>
-July 2013
+November 2015
 
 == When should you use our repositories?
 
 In general, you should use the repositories of your distribution. Adding
 third-party repositories to your +/etc/sources.list+ has security implications
-and makes your +apt-get update+ take longer. However, in some cases, using our
-repositories makes sense:
+and makes your +apt-get update+ take longer.
 
-You are using Debian stable::
+If you are using Debian stable::
     The latest version of i3 will be in Debian testing quite soon. The version
     in Debian stable can be old, however (we cannot update it after stable has
     been released). The best way is to add Debian testing and tell +apt+ to
@@ -18,11 +17,11 @@ You are using Debian stable::
     Alternatively, you can also use
     link:http://backports.debian.org/[stable-backports (e.g. wheezy-backports for
     Debian wheezy)].
-You are using Ubuntu::
+If you are using Ubuntu::
     Only a handful of packages are maintained by Ubuntu developers. The rest is
     synchronized periodically from Debian, every 6 months. Therefore, Ubuntu
     often includes old versions of i3. You should use our Ubuntu repository.
-You want the latest i3 development version::
+If you want the latest i3 development version::
     If you are using Debian (Debian-derived systems might work, too) or Ubuntu
     and want the latest development version of i3, you should use our Debian
     repository.

diff --git a/docs/repositories.html b/docs/repositories.html
index 4fb5dd22f585492bd7375152b1691c6a78d6298e..e452aa5f342ba7d79f4ad72cdbef3373fa781b2c 100644 (file)
--- a/docs/repositories.html
+++ b/docs/repositories.html
@@ -32,18 +32,17 @@ document.addEventListener("DOMContentLoaded", function(){asciidoc.footnotes();},
 <h1>Debian and Ubuntu repositories</h1>\r
 <span id="author">Michael Stapelberg</span><br />\r
 <span id="email"><tt>&lt;<a href="mailto:michael@i3wm.org">michael@i3wm.org</a>&gt;</tt></span><br />\r
-<span id="revdate">July 2013</span>\r
+<span id="revdate">November 2015</span>\r
 </div>\r
 <div class="sect1">\r
 <h2 id="_when_should_you_use_our_repositories">1. When should you use our repositories?</h2>\r
 <div class="sectionbody">\r
 <div class="paragraph"><p>In general, you should use the repositories of your distribution. Adding\r
 third-party repositories to your <tt>/etc/sources.list</tt> has security implications\r
-and makes your <tt>apt-get update</tt> take longer. However, in some cases, using our\r
-repositories makes sense:</p></div>\r
+and makes your <tt>apt-get update</tt> take longer.</p></div>\r
 <div class="dlist"><dl>\r
 <dt class="hdlist1">\r
-You are using Debian stable\r
+If you are using Debian stable\r
 </dt>\r
 <dd>\r
 <p>\r
@@ -57,7 +56,7 @@ You are using Debian stable
 </p>\r
 </dd>\r
 <dt class="hdlist1">\r
-You are using Ubuntu\r
+If you are using Ubuntu\r
 </dt>\r
 <dd>\r
 <p>\r
@@ -67,7 +66,7 @@ You are using Ubuntu
 </p>\r
 </dd>\r
 <dt class="hdlist1">\r
-You want the latest i3 development version\r
+If you want the latest i3 development version\r
 </dt>\r
 <dd>\r
 <p>\r