free-theorems-webui-0.1: default_config/Paths.hs

module Paths
   ( getTemporaryDirectory
   , getPathToAdditionalTeXFiles
   , getLogDirectory
   , relativeURLOf
   )
where

import Paths_free_theorems_webui (getDataDir)
import qualified System.Directory

getTemporaryDirectory =
   catch (System.Directory.getTemporaryDirectory)
         (\_ -> return ".")

getPathToAdditionalTeXFiles = getDataDir

getLogDirectory = getTemporaryDirectory

relativeURLOf filename = "../" ++ filename