diff options
Diffstat (limited to 'gnome2-libs/gtk-doc/bug612028.patch')
| -rw-r--r-- | gnome2-libs/gtk-doc/bug612028.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnome2-libs/gtk-doc/bug612028.patch b/gnome2-libs/gtk-doc/bug612028.patch deleted file mode 100644 index 275e1db62b..0000000000 --- a/gnome2-libs/gtk-doc/bug612028.patch +++ /dev/null @@ -1,18 +0,0 @@ -# -# From http://git.gnome.org/browse/gtk-doc/commit/?id=2bffebcf9c125f5610b8fb660d42c3c5b9dfd4f0 -# to fix https://bugzilla.gnome.org/show_bug.cgi?id=612028 -# - -diff --git a/gtkdoc-fixxref.in b/gtkdoc-fixxref.in -index 33a31b8..9f53852 100755 ---- a/gtkdoc-fixxref.in -+++ b/gtkdoc-fixxref.in -@@ -464,7 +464,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|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; - { |