(no commit message)

diff --git a/doc/index.txt b/doc/index.txt
index 1cb2c84..e70b855 100644 (file)
--- 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