on master help sign in
Create doc files with default permissions
33aa5f6Niklas Larsson
src/Idris/IdrisDoc.hs+2−2
@@ -403,7 +403,7 @@ createIndex :: S.Set NsName -- ^ Set of namespace names to
403 -- documentation will be written.
403 -- documentation will be written.
404 -> IO ()
404 -> IO ()
405createIndex nss out =
405createIndex nss out =
406− do (path, h) <- openTempFile out "index.html"
406+ do (path, h) <- openTempFileWithDefaultPermissions out "index.html"
407 BS2.hPut h $ renderHtml $ wrapper Nothing $ do
407 BS2.hPut h $ renderHtml $ wrapper Nothing $ do
408 H.h1 "Namespaces"
408 H.h1 "Namespaces"
409 H.ul ! class_ "names" $ do
409 H.ul ! class_ "names" $ do
@@ -435,7 +435,7 @@ createNsDoc ist ns content out =
435 -- We cannot do anything without a Doc
435 -- We cannot do anything without a Doc
436 content' = concatMap haveDocs (nsContents content)
436 content' = concatMap haveDocs (nsContents content)
437 createDirectoryIfMissing True dir
437 createDirectoryIfMissing True dir
438− (path, h) <- openTempFile dir file
438+ (path, h) <- openTempFileWithDefaultPermissions dir file
439 BS2.hPut h $ renderHtml $ wrapper (Just ns) $ do
439 BS2.hPut h $ renderHtml $ wrapper (Just ns) $ do
440 H.h1 $ toHtml (nsName2Str ns)
440 H.h1 $ toHtml (nsName2Str ns)
441 case nsDocstring content of
441 case nsDocstring content of