Docs: Turn default css into prefered (rather than persistent) CSS by adding title

[lilypond.git] / buildscripts / postprocess_html.py
diff --git a/buildscripts/postprocess_html.py b/buildscripts/postprocess_html.py

index 916249886f18779790abef70e4c824758987d8de..89d88753609a23211fdf4ad0ef7ef7166ceb28e9 100644 (file)
--- a/buildscripts/postprocess_html.py
+++ b/buildscripts/postprocess_html.py
@@ -123,7 +123,7 @@ body_tag_re = re.compile ('(?i)<body([^>]*)>')
  html_tag_re = re.compile ('(?i)<html>')
  doctype_re = re.compile ('(?i)<!DOCTYPE')
  doctype = '<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">\n'
-css_re = re.compile ('(?i)<link rel="stylesheet" type="text/css" href="[^">]*?lilypond.css">')
+css_re = re.compile ('(?i)<link rel="stylesheet" type="text/css" href="[^">]*?lilypond.css"([^>]*)>')
  end_head_tag_re = re.compile ('(?i)</head>')
  css_link = '<link rel="stylesheet" type="text/css" href="%sDocumentation/lilypond.css">\n'