From 12ae7f216c8e82d9f2cb0bd3abf1b8f0991a9069 Mon Sep 17 00:00:00 2001 From: Jean-Francois Dockes Date: Fri, 19 Oct 2012 16:28:23 +0200 Subject: [PATCH] doc --- website/download.html | 2 +- website/index.html.en | 9 +++++++++ website/release-1.18.html | 24 ++++++++++++++---------- 3 files changed, 24 insertions(+), 11 deletions(-) diff --git a/website/download.html b/website/download.html index 2d06bc66..9f44af85 100644 --- a/website/download.html +++ b/website/download.html @@ -218,7 +218,7 @@ -

Mint Linux

+

Linux Mint

The Ubuntu PPA works perfectly for Mint 13 (and probably other releases too). Just follow the instructions for Ubuntu.

diff --git a/website/index.html.en b/website/index.html.en index 299eecfa..774c9a0a 100644 --- a/website/index.html.en +++ b/website/index.html.en @@ -84,9 +84,18 @@

News