diff options
-rw-r--r-- | .gitignore | 7 | ||||
-rw-r--r-- | sync.do | 2 |
2 files changed, 7 insertions, 2 deletions
@@ -4,4 +4,9 @@ build/preview/* | |||
4 | !build/preview/preview.ins | 4 | !build/preview/preview.ins |
5 | !build/preview/preview.sty.do | 5 | !build/preview/preview.sty.do |
6 | htdocs | 6 | htdocs |
7 | nginx \ No newline at end of file | 7 | nginx |
8 | |||
9 | *.html | ||
10 | index.md | ||
11 | lists/*.md | ||
12 | tex/ \ No newline at end of file | ||
@@ -1,2 +1,2 @@ | |||
1 | redo-ifchange htdocs | 1 | redo-ifchange htdocs |
2 | echo "SYNC" >&2 \ No newline at end of file | 2 | rsync -rz -e ssh --delete htdocs/ amy:/sites/math/ \ No newline at end of file |