Update refresh.sh to fetch missing manpages

syncthing-bep(7) and syncthing-localdisco(7) had been added.
This commit is contained in:
Stefan Tatschner 2015-10-02 08:52:04 +02:00
parent e481d03b5e
commit f008588307

View File

@ -1,7 +1,20 @@
#!/bin/sh
base=http://docs.syncthing.net/man/
pages=(syncthing-config.5 syncthing-device-ids.7 syncthing-event-api.7 syncthing-faq.7 syncthing-networking.7 syncthing-rest-api.7 syncthing-security.7 syncthing-stignore.5 syncthing-versioning.7 syncthing.1)
pages=(
syncthing.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
)
for page in "${pages[@]}" ; do
curl -sLO "$base$page"