13 lines
728 B
Diff
13 lines
728 B
Diff
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;
|
|
{
|