diff options
Diffstat (limited to 'games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch')
| -rw-r--r-- | games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch b/games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch deleted file mode 100644 index 715fb189143f..000000000000 --- a/games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch +++ /dev/null @@ -1,13 +0,0 @@ ---- hatari-1.6.1/python-ui/uihelpers.py -+++ hatari-1.6.1/python-ui/uihelpers.py -@@ -97,9 +97,7 @@ - # first try whether there are local Hatari docs in standard place - # for this Hatari/UI version - sep = os.sep -- path = self.get_binary_path("hatari") -- path = sep.join(path.split(sep)[:-2]) # remove "bin/hatari" -- path = path + sep + "share" + sep + "doc" + sep + "hatari" + sep -+ path = "@DOCDIR@" - if os.path.exists(path + "manual.html"): - return path - # if not, point to latest Hatari HG version docs |