From cea65d8f70663d3bfcc0e7f888d038473e4d32e1 Mon Sep 17 00:00:00 2001
From: Jean-Philippe Orsini <jeanfi@gmail.com>
Date: Fri, 3 May 2013 08:51:45 +0000
Subject: [PATCH]

---
 doc/index.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/index.txt b/doc/index.txt
index 1cb2c84..e70b855 100644
--- a/doc/index.txt
+++ b/doc/index.txt
@@ -66,6 +66,7 @@ sudo make install
 Installation from PPA
 ---------------------
 
+For Ubuntu 12.04, 12.10 and 13.04:
 ------------------------------
 sudo apt-add-repository ppa:jfi/prss
 sudo apt-get update
-- 
2.7.4