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, 13 insertions, 0 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 new file mode 100644 index 000000000000..715fb189143f --- /dev/null +++ b/games-emulation/hatari/files/hatari-1.8.0-gentoo-docdir.patch @@ -0,0 +1,13 @@ +--- 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 |