--- gtk-doc.orig/gtkdoc-fixxref	2013-08-22 17:19:31.000000000 +0200
+++ gtk-doc/gtkdoc-fixxref	2013-08-22 21:24:15.493824761 +0200
@@ -472,7 +472,7 @@ sub HighlightSourceVim {
     close (NEWFILE);
 
     # format source
-    system "echo 'let html_number_lines=0|let html_use_css=1|let use_xhtml=1|syn on|e $temp_source_file|run! syntax/2html.vim|w! $temp_source_file.html|qa!' | /usr/bin/source-highlight -n -e -u NONE -T xterm >/dev/null";
+    system "echo 'let html_number_lines=0|let html_use_css=1|let html_use_xhtml=1|syn on|e $temp_source_file|run! syntax/2html.vim|w! $temp_source_file.html|qa!' | /usr/bin/source-highlight -n -e -u NONE -T xterm >/dev/null";
 
     my $highlighted_source;
     {
@@ -481,7 +481,7 @@ sub HighlightSourceVim {
         $highlighted_source = <NEWFILE>;
         close (NEWFILE);
     }
-    $highlighted_source =~ s#.*<pre>\n##s;
+    $highlighted_source =~ s#.*<pre\b[^>]*>\n##s;
     $highlighted_source =~ s#</pre>.*##s;
 
     # need to rewrite the stylesheet classes
