diff options
Diffstat (limited to 'textproc/gnome-doc-utils/files/patch-tools_gnome-doc-tool.in')
| -rw-r--r-- | textproc/gnome-doc-utils/files/patch-tools_gnome-doc-tool.in | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/textproc/gnome-doc-utils/files/patch-tools_gnome-doc-tool.in b/textproc/gnome-doc-utils/files/patch-tools_gnome-doc-tool.in deleted file mode 100644 index 55148f713..000000000 --- a/textproc/gnome-doc-utils/files/patch-tools_gnome-doc-tool.in +++ /dev/null @@ -1,8 +0,0 @@ ---- tools/gnome-doc-tool.in.orig 2013-12-19 16:08:52.000000000 +0100 -+++ tools/gnome-doc-tool.in 2013-12-19 16:08:59.000000000 +0100 -@@ -1,4 +1,4 @@ --#!/bin/bash -+#!/bin/sh - # gnome-doc-html - Convert documentation to HTML - # gnome-doc-html. Generated from gnome-doc-html.in by configure. - # Copyright (C) 2006 Shaun McCance <shaunm@gnome.org> |