summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorpux <pux@pux.dom>2020-06-23 18:27:58 +0200
committerpux <pux@pux.dom>2020-06-23 18:27:58 +0200
commit7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7 (patch)
treec2532bad7e4ea6f4c6d2017258d561d393f57954
parenta43807f73559598959262680a7fa4e5fb952422f (diff)
downloadpub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.tar.gz
pub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.tar.bz2
pub-docs-7aa9d4ca96625e7c7a1a6be5ee6239be4536d0b7.zip
update script
-rw-r--r--INDEX.html15
-rwxr-xr-xupdate.sh7
2 files changed, 16 insertions, 6 deletions
diff --git a/INDEX.html b/INDEX.html
index 2115ef9..9b70420 100644
--- a/INDEX.html
+++ b/INDEX.html
@@ -1,12 +1,15 @@
-<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
-<html xmlns="http://www.w3.org/1999/xhtml">
+<!DOCTYPE html>
+<html>
<head>
- <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
- <meta http-equiv="Content-Style-Type" content="text/css" />
- <meta name="generator" content="pandoc" />
+ <meta charset="utf-8">
+ <meta name="generator" content="pandoc">
+ <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes">
<title></title>
<style type="text/css">code{white-space: pre;}</style>
- <link href="data:text/css;charset=utf-8,%2A%20%7Bfont%2Dfamily%3A%20Courier%20New%2C%20Courier%2C%20Monospace%7D%0A" rel="stylesheet" type="text/css" />
+ <link href="data:text/css;charset=utf-8,%2A%20%7Bfont%2Dfamily%3A%20Courier%20New%2C%20Courier%2C%20Monospace%7D%0A" rel="stylesheet">
+ <!--[if lt IE 9]>
+ <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script>
+ <![endif]-->
</head>
<body>
<h1 id="public-documents">public documents</h1>
diff --git a/update.sh b/update.sh
new file mode 100755
index 0000000..f4430f3
--- /dev/null
+++ b/update.sh
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+for i in *.md
+do
+ filename_wo_ext=$(echo "$i" | cut -f 1 -d '.')
+ pandoc $i -s --highlight-style pygments --css=style.css --self-contained -t html5 -o $filename_wo_ext.html
+done
in each repos: see "about"-tab (if existing) for more details / README.
mailto contact at omeckman dot net
all timestamps in UTC (German winter time: UTC+01:00, summer time: UTC+02:00)
dark theme is a modded version of: https://gist.github.com/Yoplitein/f4b671a2ec70c9e743fa