Changed site title.

This commit is contained in:
Wen Kokke 2020-10-23 15:13:35 +02:00
parent dbcec5aed8
commit 51cd3fb64a
2 changed files with 9 additions and 5 deletions

View file

@ -164,8 +164,8 @@ main = do
>>= readMarkdownWith siteReaderOptions
<&> writeHTML5With siteWriterOptions
>>= saveSnapshot "content"
>>= loadAndApplyTemplate "templates/page.html" siteContext
>>= loadAndApplyTemplate "templates/default.html" siteContext
>>= loadAndApplyTemplate "templates/page.html" siteSectionContext
>>= loadAndApplyTemplate "templates/default.html" siteSectionContext
>>= relativizeUrls
-- Build compiler for literate Agda pages
@ -176,8 +176,8 @@ main = do
>>= readMarkdownWith siteReaderOptions
<&> writeHTML5With siteWriterOptions
>>= saveSnapshot "content"
>>= loadAndApplyTemplate "templates/page.html" siteContext
>>= loadAndApplyTemplate "templates/default.html" siteContext
>>= loadAndApplyTemplate "templates/page.html" siteSectionContext
>>= loadAndApplyTemplate "templates/default.html" siteSectionContext
>>= relativizeUrls
-- Run Hakyll

View file

@ -3,7 +3,11 @@
<meta http-equiv="X-UA-Compatible" content="IE=edge">
<meta name="viewport" content="width=device-width, initial-scale=1">
<link rel="stylesheet" href="/public/css/style.css">
<title>$pagetitle$</title>
$if(titlerunning)$
<title>$pagetitle$ $titlerunning$</title>
$else$
<title>$pagetitle$ $title$</title>
$endif$
$if(google-analytics)$
$partial("templates/google-analytics.html")$
$endif$