gnome.yelp(): Handle file existing on symlink
Fixes
@@ -81,6 +81,10 @@ def install_help(srcdir, blddir, sources, media, langs, install_dir, destdir, pr
if '/' in m or '\\' in m:
os.makedirs(os.path.dirname(outfile), exist_ok=True)
try:
+ try:
+ os.symlink(srcfile, outfile)
+ except FileExistsError:
+ os.remove(outfile)
os.symlink(srcfile, outfile)
continue
except (NotImplementedError, OSError):
