summaryrefslogtreecommitdiff
path: root/htdocs.do
diff options
context:
space:
mode:
Diffstat (limited to 'htdocs.do')
-rw-r--r--htdocs.do3
1 files changed, 2 insertions, 1 deletions
diff --git a/htdocs.do b/htdocs.do
index 8470901..6e70576 100644
--- a/htdocs.do
+++ b/htdocs.do
@@ -1,2 +1,3 @@
1redo-ifchange all 1redo-ifchange all
2rsync -Rav --delete style.css *.html lists/*.html posts/*.html tex/*/*.svg htdocs/ >&2 2find . \( -name '*.html' -or -name '*.css' -or -name '*.svg' \) -and -not \( -path '*/.cabal-sandbox/*' -or -path '*/htdocs/*' -or -path '*/build/*' \) -print0 | \
3xargs -0 -I '{}' -- rsync -Rav --delete '{}' htdocs >&2