From f7d3162fdf4c348beb7d315a85b34af6e1cdaff5 Mon Sep 17 00:00:00 2001 From: Andre Noll Date: Fri, 6 Jan 2012 07:56:56 +0100 Subject: [PATCH] Make web pages conform to the HTML standard again. Without this fix, the w3c validator complains about end tags for element

which is not open. Removing both start and end tags makes it happy again and causes no visible change, at least in one browser. --- web/documentation.in.html | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/web/documentation.in.html b/web/documentation.in.html index 2789112a..4d63a08f 100644 --- a/web/documentation.in.html +++ b/web/documentation.in.html @@ -4,7 +4,7 @@

General information

-

Manual pages

@@ -34,11 +34,11 @@

Source code documentation

-

-- 2.39.2