commit 2e78738bf07e3688e55a2b1fffc871c89363eb21 Author: Enrico Forestieri <for...@lyx.org> Date: Tue May 19 23:18:18 2015 +0200
This is supposed to end with a '/' diff --git a/lib/lyx2lyx/lyx_2_2.py b/lib/lyx2lyx/lyx_2_2.py index f3a5371..cceabbe 100644 --- a/lib/lyx2lyx/lyx_2_2.py +++ b/lib/lyx2lyx/lyx_2_2.py @@ -1025,7 +1025,7 @@ def convert_origin(document): if document.dir == "": origin = "stdin" else: - origin = document.dir.replace('\\', '/') + origin = document.dir.replace('\\', '/') + '/' if os.name != 'nt': origin = unicode(origin, sys.getfilesystemencoding()) document.header[i:i] = ["\\origin " + origin]