mirror of
https://github.com/syncthing/syncthing.git
synced 2026-04-08 08:27:56 -04:00
11 lines
167 B
Bash
Executable File
11 lines
167 B
Bash
Executable File
#!/bin/bash
|
|
set -euo pipefail
|
|
|
|
git pull
|
|
make clean html man latexpdf
|
|
|
|
rm -rf _deployed.old
|
|
[ -d _deployed ] && mv _deployed _deployed.old || true
|
|
mv _build _deployed
|
|
|