on master help sign in
Fixed merge bug
aed1014Philip Rasmussen
src/Idris/IdrisDoc.hs+1−1
@@ -637,7 +637,7 @@ readDocInfo dir =
637 where reader h = let converter = text2DocInfo . E.decodeUtf8
637 where reader h = let converter = text2DocInfo . E.decodeUtf8
638 in converter `fmap` BS.hGetContents h
638 in converter `fmap` BS.hGetContents h
639 onlyValid out ns s = do s' <- s
639 onlyValid out ns s = do s' <- s
640− let end = (genRelNsPath ns "html")
640+ let end = "docs" </> (genRelNsPath ns "html")
641 exists <- doesFileExist $ out </> end
641 exists <- doesFileExist $ out </> end
642 if exists then return $ S.insert ns s'
642 if exists then return $ S.insert ns s'
643 else s
643 else s