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 |
