on master help sign in
Merge pull request #4501 from melted/issue-4497

Create doc files with default permissions

commitd32cec8079d4b8ff745661249ddb548653b3a651 authorNiklas Larsson <metaniklas@gmail.com> dateSun 1 Jul 2018, 14:22 (8 years ago) parent02e395e33aa5f6
1 file changed+2−2
src/Idris/IdrisDoc.hs+2−2
src/Idris/IdrisDoc.hs+2−2
@@ -403,7 +403,7 @@ createIndex :: S.Set NsName -- ^ Set of namespace names to
403403 -- documentation will be written.
404404 -> IO ()
405405createIndex nss out =
406− do (path, h) <- openTempFile out "index.html"
406+ do (path, h) <- openTempFileWithDefaultPermissions out "index.html"
407407 BS2.hPut h $ renderHtml $ wrapper Nothing $ do
408408 H.h1 "Namespaces"
409409 H.ul ! class_ "names" $ do
@@ -435,7 +435,7 @@ createNsDoc ist ns content out =
435435 -- We cannot do anything without a Doc
436436 content' = concatMap haveDocs (nsContents content)
437437 createDirectoryIfMissing True dir
438− (path, h) <- openTempFile dir file
438+ (path, h) <- openTempFileWithDefaultPermissions dir file
439439 BS2.hPut h $ renderHtml $ wrapper (Just ns) $ do
440440 H.h1 $ toHtml (nsName2Str ns)
441441 case nsDocstring content of