From 547004869d0697658f517c95d8c08e499f765153 Mon Sep 17 00:00:00 2001
From: Xavier Beaudouin <kiwi@oav.net>
Date: Wed, 22 Mar 2023 10:53:27 +0100
Subject: [PATCH] fix

---
 linux/index.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/linux/index.php b/linux/index.php
index a63e516..54c6d99 100644
--- a/linux/index.php
+++ b/linux/index.php
@@ -6,10 +6,10 @@ page("GNU/Linux");
 <p class="textetitre">GNU/Linux</p>
 <p class="texte">
 GNU/Linux is the most common and well known Open Source Operating Systems in the world. 
-<p>
+</p>
 <p class="texte">
 I can run on top 500 supercomputers and "aii systems", as well as on your home office router, 400Gbps routers, and... in your pocket on your Android mobile phone.
-<p>
+</p>
 <p class="texte">
 We are using it since the very early version (0.95.x), both on servers, trading systems, production servers. We really <b>know</b> linux.
 </p>