syncthing/man/refresh.sh

26 lines
445 B
Bash
Raw Normal View History

2017-01-01 12:45:52 -07:00
#!/bin/bash
2015-05-30 04:05:37 -07:00
base=https://docs.syncthing.net/man/
pages=(
syncthing.1
stdiscosrv.1
strelaysrv.1
syncthing-config.5
syncthing-stignore.5
syncthing-device-ids.7
syncthing-event-api.7
syncthing-faq.7
syncthing-networking.7
syncthing-rest-api.7
syncthing-security.7
syncthing-versioning.7
syncthing-bep.7
syncthing-localdisco.7
2015-10-20 05:06:14 -07:00
syncthing-globaldisco.7
2015-12-01 07:34:58 -07:00
syncthing-relay.7
)
2015-05-30 04:05:37 -07:00
for page in "${pages[@]}" ; do
curl -sLO "$base$page"
done