From b84a5ac0d59bfbb61baf2304b646e1fa148279f6 Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Fri, 4 Sep 2015 20:51:08 +0200 Subject: [PATCH] Remove unneeded second slash docdir does always end with a slash, so the second one is not needed. The first one is however mandatory. --- src/Buffer.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Buffer.cpp b/src/Buffer.cpp index 09cff3c95a..6f0673f30a 100644 --- a/src/Buffer.cpp +++ b/src/Buffer.cpp @@ -1782,7 +1782,7 @@ void Buffer::writeLaTeXSource(otexstream & os, } os << "\\makeatletter\n" << "\\def\\input@path{{" - << docdir << "/}}\n" + << docdir << "}}\n" << "\\makeatother\n"; } }