Remove unneeded second slash

docdir does always end with a slash, so the second one is not needed.
The first one is however mandatory.

diff --git a/src/Buffer.cpp b/src/Buffer.cpp
index 09cff3c95add7b2ceeb28cc23ee1bec4b255936a..6f0673f30a1f4502ce03e6b74a6dbd99aca2202b 100644 (file)
--- 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";
                        }
                }