diff -Nru gtk-doc-1.15.orig//gtkdoc-fixxref.in gtk-doc-1.15/gtkdoc-fixxref.in
--- gtk-doc-1.15.orig//gtkdoc-fixxref.in	2010-04-21 22:11:59.000000000 +0200
+++ gtk-doc-1.15/gtkdoc-fixxref.in	2010-12-23 18:49:41.973276890 +0100
@@ -461,7 +461,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|w! $temp_source_file.html|qa!' | @HIGHLIGHT@ -n -e -u NONE -T xterm >/dev/null";
 
     my $highlighted_source;
     {