Fix bug #10218, in a way less invasive than it has been fixed in

master. Patch due to Enrico.
This commit is contained in:
Richard Heck 2016-06-18 12:59:02 -04:00
parent 0ba875add1
commit b593ba5b48

View File

@ -1154,8 +1154,7 @@ def convert_origin(document):
origin = document.dir.replace('\\', '/') + '/'
else:
origin = os.path.join("/systemlyxdir", relpath).replace('\\', '/') + '/'
if os.name != 'nt':
origin = unicode(origin, sys.getfilesystemencoding())
origin = unicode(origin, sys.getfilesystemencoding())
document.header[i:i] = ["\\origin " + origin]