diff options
| author | defanor <defanor@uberspace.net> | 2024-02-03 13:35:25 +0300 |
|---|---|---|
| committer | defanor <defanor@uberspace.net> | 2024-02-03 13:35:25 +0300 |
| commit | 5e8080a223d8414814032c7e3fde4e9547eacbc0 (patch) | |
| tree | 6dd055a25437b3859a2778c43c6fe011cb3a7195 /tools/publish.sh | |
| parent | 9b7934e51dbc04e6908f05b223e5b775ae0a2de2 (diff) | |
Treat .xsl files as sources, mirror to thunix
Whenever the XSLTs change, the affected pages should be regenerated.
Diffstat (limited to 'tools/publish.sh')
| -rwxr-xr-x | tools/publish.sh | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/tools/publish.sh b/tools/publish.sh index 987cf00..aa01628 100755 --- a/tools/publish.sh +++ b/tools/publish.sh @@ -2,7 +2,5 @@ make -f tools/Makefile -# upload -rsync --exclude '.*' --exclude '*.org' --exclude 'src/' \ - --exclude 'tools/' --exclude 'build/' \ - -avz . tart.uberspace.net:public_html/ +rsync -avz *.xhtml notes pictures files uberspace.net:public_html/ +rsync -avz *.xhtml notes pictures files thunix.net:public_html/ |