1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

------------------------------------------------------------------------------
--- Some configurations used by cpm-manage.
---
--- @author Michael Hanus
--- @version April 2025
------------------------------------------------------------------------------

module CPM.Manage.Config
  where

import Data.Time  ( CalendarTime, calendarTimeToString )
import HTML.Base

------------------------------------------------------------------------------
--- The base directory of the CurryInfo HTML pages.
curryInfoHtmlBase :: IO String
curryInfoHtmlBase = return
  "/var/www/vhosts/curry-lang.org/cpm.curry-lang.org/curry-info/HTML"

--- The base URL of the CurryInfo HTML pages.
curryInfoHtmlURL :: String
curryInfoHtmlURL = "https://cpm.curry-lang.org/curry-info/HTML"

-- Standard footer information for generated web pages:
cpmManageFooter :: CalendarTime -> [BaseHtml]
cpmManageFooter time =
  [italic [htxt "Generated by cpm-manage at ",
           htxt (calendarTimeToString time)]]

------------------------------------------------------------------------------