From 0fe32e47ba3f8895a6125cf8fc618f01adf59579 Mon Sep 17 00:00:00 2001 From: Viktor Kleen Date: Fri, 2 Jan 2015 13:11:11 +0000 Subject: add about page --- all.do | 2 ++ build/preamble.tex | 1 + default.do | 2 -- default.svg.do | 1 + htdocs.do | 2 +- index.md.do | 1 + 6 files changed, 6 insertions(+), 3 deletions(-) create mode 100644 all.do delete mode 100644 default.do diff --git a/all.do b/all.do new file mode 100644 index 0000000..8c4fc8d --- /dev/null +++ b/all.do @@ -0,0 +1,2 @@ +redo-ifchange index.html about.html +redo-ifchange htdocs diff --git a/build/preamble.tex b/build/preamble.tex index b996382..01c8146 100644 --- a/build/preamble.tex +++ b/build/preamble.tex @@ -3,6 +3,7 @@ \usepackage{amssymb} \usepackage{amsmath} \usepackage{etoolbox} +\usepackage{xspace} \usepackage{tikz} \usetikzlibrary{arrows,decorations.markings,chains,calc,matrix} diff --git a/default.do b/default.do deleted file mode 100644 index a8cc947..0000000 --- a/default.do +++ /dev/null @@ -1,2 +0,0 @@ -redo-ifchange index.html -redo-ifchange htdocs diff --git a/default.svg.do b/default.svg.do index 5fc067e..403fd2d 100644 --- a/default.svg.do +++ b/default.svg.do @@ -18,3 +18,4 @@ EOF popd dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align +rm -rf $TDIR \ No newline at end of file diff --git a/htdocs.do b/htdocs.do index ee4565b..8470901 100644 --- a/htdocs.do +++ b/htdocs.do @@ -1,2 +1,2 @@ -redo-ifchange index.html +redo-ifchange all rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2 diff --git a/index.md.do b/index.md.do index 02c10af..3491ce9 100644 --- a/index.md.do +++ b/index.md.do @@ -1,4 +1,5 @@ #!/usr/bin/env bash + LISTS=() while read -r -d $'\0'; do LISTS+=("$REPLY") -- cgit v1.2.3