diff -ur gtk-doc-1.13/gtkdoc-fixxref.in gtk-doc-1.13.new/gtkdoc-fixxref.in
--- gtk-doc-1.13/gtkdoc-fixxref.in	2009-12-18 01:06:51.000000000 +0530
+++ gtk-doc-1.13.new/gtkdoc-fixxref.in	2010-03-07 02:11:41.874694450 +0530
@@ -455,7 +455,7 @@
     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|wa!|qa!' | @HIGHLIGHT@ -n -e -u /dev/null -T xterm >/dev/null";
+    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|wa!|qa!' | @HIGHLIGHT@ -n -e -u NONE -T xterm >/dev/null";
 
     my $highlighted_source;
     {
