2017-01-01 20:45:52 +01:00
|
|
|
#!/bin/bash
|
2015-05-30 13:05:37 +02:00
|
|
|
|
2016-10-27 19:02:19 +02:00
|
|
|
base=https://docs.syncthing.net/man/
|
2015-10-02 08:52:04 +02:00
|
|
|
pages=(
|
|
|
|
|
syncthing.1
|
2016-07-27 17:00:10 +02:00
|
|
|
stdiscosrv.1
|
|
|
|
|
strelaysrv.1
|
2015-10-02 08:52:04 +02:00
|
|
|
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 14:06:14 +02:00
|
|
|
syncthing-globaldisco.7
|
2015-12-01 15:34:58 +01:00
|
|
|
syncthing-relay.7
|
2015-10-02 08:52:04 +02:00
|
|
|
)
|
2015-05-30 13:05:37 +02:00
|
|
|
|
|
|
|
|
for page in "${pages[@]}" ; do
|
|
|
|
|
curl -sLO "$base$page"
|
|
|
|
|
done
|
