syncthing/man/refresh.sh

26 lines
445 B
Bash
Raw Normal View History

2017-01-01 19:45:52 +00:00
#!/bin/bash
2015-05-30 11:05:37 +00: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 12:06:14 +00:00
syncthing-globaldisco.7
2015-12-01 14:34:58 +00:00
syncthing-relay.7
)
2015-05-30 11:05:37 +00:00
for page in "${pages[@]}" ; do
curl -sLO "$base$page"
done