diff options
| -rw-r--r-- | INDEX.html | 15 | ||||
| -rwxr-xr-x | update.sh | 7 |
2 files changed, 16 insertions, 6 deletions
@@ -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 |