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.
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.