From 20c7b274cbd137d678ec06993672bf62d7f1afd8 Mon Sep 17 00:00:00 2001
From: Roland <rk@rkuhn.info>
Date: Fri, 21 Sep 2012 16:33:28 +0200
Subject: [PATCH] now hopefully fix it for real (no guarantees, it just works
 here)

---
 project/Sphinx.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project/Sphinx.scala b/project/Sphinx.scala
index 1bfeffc883..2f13710917 100644
--- a/project/Sphinx.scala
+++ b/project/Sphinx.scala
@@ -64,7 +64,7 @@ object Sphinx {
         val temp = docs.getParentFile / (docs.getName + "_" + builder)
         val cache = cacheDir / "sphinx" / builder
         val cached = FileFunction.cached(cache)(FilesInfo.hash, FilesInfo.exists) { (in, out) =>
-          def dst(f: File) = new File(temp.toURI.resolve(docs.toURI.relativize(f.toURI)))
+          def dst(f: File) = temp / IO.relativize(docs, f).get
           def filter(f: File) = filterExt contains f.getName.reverse.takeWhile('.' !=).reverse
           val Replacer = """@(\w+)@""".r
           /*