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") |
