From 1b50671ee18d3412251980c7d8a4528b10f18e73 Mon Sep 17 00:00:00 2001
From: Cyril Roelandt <tipecaml@gmail.com>
Date: Thu, 15 Aug 2013 17:19:57 +0200
Subject: [PATCH] list-packages: remove useless "language" attribute of
 "script" element

See http://www.w3.org/TR/html5-diff/#changed-attributes for more information.

* build-aux/list-packages.html (insert-js): remove "language" attribute, useless for the
  "script" element.
---
 build-aux/list-packages.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build-aux/list-packages.scm b/build-aux/list-packages.scm
index 5ca2323ebc..a1bea69feb 100755
--- a/build-aux/list-packages.scm
+++ b/build-aux/list-packages.scm
@@ -206,7 +206,7 @@ (define (insert-css)
 (define (insert-js)
   "Return the JavaScript for the list-packages page."
   (format #t
-"<script language=\"javascript\" type=\"text/javascript\">
+"<script type=\"text/javascript\">
 // license: CC0
 function show_hide(idThing)
 {