summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--all.do2
-rw-r--r--build/preamble.tex1
-rw-r--r--default.do2
-rw-r--r--default.svg.do1
-rw-r--r--htdocs.do2
-rw-r--r--index.md.do1
6 files changed, 6 insertions, 3 deletions
diff --git a/all.do b/all.do
new file mode 100644
index 0000000..8c4fc8d
--- /dev/null
+++ b/all.do
@@ -0,0 +1,2 @@
1redo-ifchange index.html about.html
2redo-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 @@
3\usepackage{amssymb} 3\usepackage{amssymb}
4\usepackage{amsmath} 4\usepackage{amsmath}
5\usepackage{etoolbox} 5\usepackage{etoolbox}
6\usepackage{xspace}
6 7
7\usepackage{tikz} 8\usepackage{tikz}
8\usetikzlibrary{arrows,decorations.markings,chains,calc,matrix} 9\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 @@
1redo-ifchange index.html
2redo-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
18popd 18popd
19 19
20dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align 20dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align
21rm -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 @@
1redo-ifchange index.html 1redo-ifchange all
2rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2 2rsync -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 @@
1#!/usr/bin/env bash 1#!/usr/bin/env bash
2
2LISTS=() 3LISTS=()
3while read -r -d $'\0'; do 4while read -r -d $'\0'; do
4 LISTS+=("$REPLY") 5 LISTS+=("$REPLY")