diff options
-rw-r--r-- | all.do | 2 | ||||
-rw-r--r-- | build/preamble.tex | 1 | ||||
-rw-r--r-- | default.do | 2 | ||||
-rw-r--r-- | default.svg.do | 1 | ||||
-rw-r--r-- | htdocs.do | 2 | ||||
-rw-r--r-- | index.md.do | 1 |
6 files changed, 6 insertions, 3 deletions
@@ -0,0 +1,2 @@ | |||
1 | redo-ifchange index.html about.html | ||
2 | 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 @@ | |||
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 @@ | |||
1 | redo-ifchange index.html | ||
2 | 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 | |||
18 | popd | 18 | popd |
19 | 19 | ||
20 | dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align | 20 | dvisvgm --exact --no-fonts -o $3 $TDIR/image.dvi 2>&1 | sed -e '/depth=/!d;s/^.*depth=\(.*\)$/\1/' > $(dirname $2)/vertical-align |
21 | rm -rf $TDIR \ No newline at end of file | ||
@@ -1,2 +1,2 @@ | |||
1 | redo-ifchange index.html | 1 | redo-ifchange all |
2 | rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2 | 2 | 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 @@ | |||
1 | #!/usr/bin/env bash | 1 | #!/usr/bin/env bash |
2 | |||
2 | LISTS=() | 3 | LISTS=() |
3 | while read -r -d $'\0'; do | 4 | while read -r -d $'\0'; do |
4 | LISTS+=("$REPLY") | 5 | LISTS+=("$REPLY") |