Changeset 7643

Timestamp:

2004-06-25T15:15:47+12:00 (20 years ago)

Author:

jrm21

Message:

use case-insensitive match for <title> tags

File:

• trunk/gsdl/bin/script/pdftohtml.pl (modified) (2 diffs)

trunk/gsdl/bin/script/pdftohtml.pl

@@ -165 +165 @@
         # special - added to remove the filename from the title
         # this should be in the header, before we see "textual content"
-        if ($line =~ m@<title>(.*?)</title>@) {
+        if ($line =~ m@<title>(.*?)</title>@i) {
         my $title=$1;
         
@@ -171 +171 @@
         if (-r "$title.pdf" || -r "$title.html") {
             # remove the title
-            $line =~ s@<title>.*?</title>@<title></title><META NAME=\"Orig-title\" CONTENT=\"$title\">@;
+            $line =~ s@<title>.*?</title>@<title></title>\n<META NAME=\"filename\" CONTENT=\"$title\">@i;
         }
         }