Fixed merge bug
commitaed101410678c536d6264d701d91528efd979f13
authorPhilip Rasmussen <pjor@itu.dk>
dateTue 22 Apr 2014, 23:43 (13 years ago)
parenta85feeb
src/Idris/IdrisDoc.hs+1−1
@@ -637,7 +637,7 @@ readDocInfo dir =
637637 where reader h = let converter = text2DocInfo . E.decodeUtf8
638638 in converter `fmap` BS.hGetContents h
639639 onlyValid out ns s = do s' <- s
640− let end = (genRelNsPath ns "html")
640+ let end = "docs" </> (genRelNsPath ns "html")
641641 exists <- doesFileExist $ out </> end
642642 if exists then return $ S.insert ns s'
643643 else s