@@ -132,17 +132,17 @@ documentPkg fp =
132 do pkgdesc <- parseDesc fp
132 do pkgdesc <- parseDesc fp
133 cd <- getCurrentDirectory
133 cd <- getCurrentDirectory
134 let pkgDir = cd </> takeDirectory fp
134 let pkgDir = cd </> takeDirectory fp
135− outputDir = cd </> (pkgname pkgdesc) ++ "_doc"
135+ outputDir = cd </> pkgname pkgdesc ++ "_doc"
136 opts = NoREPL : Verbose : idris_opts pkgdesc
136 opts = NoREPL : Verbose : idris_opts pkgdesc
137 mods = modules pkgdesc
137 mods = modules pkgdesc
138 fs = map (foldl1' (</>) . splitOn "." . showCG) mods
138 fs = map (foldl1' (</>) . splitOn "." . showCG) mods
139 setCurrentDirectory $ pkgDir </> sourcedir pkgdesc
139 setCurrentDirectory $ pkgDir </> sourcedir pkgdesc
140 make (makefile pkgdesc)
140 make (makefile pkgdesc)
141− setCurrentDirectory $ pkgDir
141+ setCurrentDirectory pkgDir
142 let run l = runExceptT . execStateT l
142 let run l = runExceptT . execStateT l
143 load [] = return ()
143 load [] = return ()
144 load (f:fs) = do loadModule f; load fs
144 load (f:fs) = do loadModule f; load fs
145− loader = do idrisMain opts; load fs
145+ loader = do idrisMain opts; addImportDir (sourcedir pkgdesc); load fs
146 idrisInstance <- run loader idrisInit
146 idrisInstance <- run loader idrisInit
147 setCurrentDirectory cd
147 setCurrentDirectory cd
148 case idrisInstance of
148 case idrisInstance of