~jan0sch/darcs-book
Showing details for patch 6677b99eedf332df332b3a4a3e1bfa3f1b37b478.
diff -rN -u old-darcs-book/html/book.css new-darcs-book/html/book.css --- old-darcs-book/html/book.css 1970-01-01 00:00:00.000000000 +0000 +++ new-darcs-book/html/book.css 2024-11-24 01:23:53.155114476 +0000 @@ -0,0 +1,45 @@ +h1 { + font-size: 60px; + line-height: 60px; + font-family: georgia, Arial, serif; + margin-bottom: 15px; + font-weight: normal; +} + +h2 { + font-size: 20px; + line-height: 20px; + margin-bottom: 15px; + font-family: Arial, sans-serif; + color: black; +} + +body { + font-size: 14px; + line-height: 25px; + font-family: Arial, sans-serif; + background-color: white; +} + +p { + margin-bottom: 25px; +} + +p code { + background-color: #ddd; + padding: 0px 3px; +} + +pre { + background-color: black; + color: lightgreen; + padding: 10px; + font-family: "Consolas", monospace; + font-size: 14px; + margin: 20px 0px 20px 0px; +} + +#content { + width: 800px; + margin: 0px auto; +} diff -rN -u old-darcs-book/html/template.html new-darcs-book/html/template.html --- old-darcs-book/html/template.html 1970-01-01 00:00:00.000000000 +0000 +++ new-darcs-book/html/template.html 2024-11-24 01:23:53.155114476 +0000 @@ -0,0 +1,74 @@ +<!DOCTYPE html> +<html xmlns="http://www.w3.org/1999/xhtml" lang="$lang$" xml:lang="$lang$"$if(dir)$ dir="$dir$"$endif$> +<head> + <meta charset="utf-8" /> + <meta name="generator" content="pandoc" /> + <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> +$for(author-meta)$ + <meta name="author" content="$author-meta$" /> +$endfor$ +$if(date-meta)$ + <meta name="dcterms.date" content="$date-meta$" /> +$endif$ +$if(keywords)$ + <meta name="keywords" content="$for(keywords)$$keywords$$sep$, $endfor$" /> +$endif$ + <title>$if(title-prefix)$$title-prefix$ – $endif$$pagetitle$</title> + <style type="text/css"> + code{white-space: pre-wrap;} + span.smallcaps{font-variant: small-caps;} + span.underline{text-decoration: underline;} + div.column{display: inline-block; vertical-align: top; width: 50%;} +$if(quotes)$ + q { quotes: "“" "”" "‘" "’"; } +$endif$ + </style> +$if(highlighting-css)$ + <style type="text/css"> +$highlighting-css$ + </style> +$endif$ +$for(css)$ + <link rel="stylesheet" href="$css$"> +$endfor$ +$if(math)$ + $math$ +$endif$ + <!--[if lt IE 9]> + <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> + <![endif]--> +$for(header-includes)$ + $header-includes$ +$endfor$ +</head> +<body> +$for(include-before)$ +$include-before$ +$endfor$ +$if(title)$ +<header> +<h1 class="title">$title$</h1> +$if(subtitle)$ +<p class="subtitle">$subtitle$</p> +$endif$ +$for(author)$ +<p class="author">$author$</p> +$endfor$ +$if(date)$ +<p class="date">$date$</p> +$endif$ +</header> +$endif$ +$if(toc)$ +<nav id="$idprefix$TOC"> +$table-of-contents$ +</nav> +$endif$ +<div id=content> +$body$ +</div> +$for(include-after)$ +$include-after$ +$endfor$ +</body> +</html> diff -rN -u old-darcs-book/Makefile new-darcs-book/Makefile --- old-darcs-book/Makefile 1970-01-01 00:00:00.000000000 +0000 +++ new-darcs-book/Makefile 2024-11-24 01:23:53.151114467 +0000 @@ -0,0 +1,27 @@ +PANDOC=pandoc -s --css ../html/book.css --template html/template.html -f markdown -t html5 + +dist: + mkdir dist + +dist/chapter01.html: dist + ${PANDOC} en/01-introduction.md -o dist/chapter01.html + +dist/chapter02.html: dist + ${PANDOC} en/02-getting-started.md -o dist/chapter02.html + +dist/chapter03.html: dist + ${PANDOC} en/03-working-locally.md -o dist/chapter03.html + +dist/chapter04.html: dist + ${PANDOC} en/04-happy-little-accidents.md -o dist/chapter04.html + +dist/chapter05.html: dist + ${PANDOC} en/05-a-little-help-from-my-friends.md -o dist/chapter05.html + +dist/chapter06.html: dist + ${PANDOC} en/06-conflict-management.md -o dist/chapter06.html + +all: dist/chapter01.html dist/chapter02.html dist/chapter03.html dist/chapter04.html dist/chapter05.html dist/chapter06.html + +clean: + rm -r dist