From: Michael Stapelberg <michael@stapelberg.de>
Date: Mon, 2 Nov 2015 07:55:10 +0000 (+0100)
Subject: docs/repositories: make wording a bit more clear
X-Git-Url: https://git.sur5r.net/?a=commitdiff_plain;h=656230242828d78f80d46b460151494fcf805fb9;p=i3%2Fi3.github.io

docs/repositories: make wording a bit more clear
---

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