Merge pull request #2349 from rumpelsepp/man-update

Update refresh.sh to fetch missing manpages
This commit is contained in:
Jakob Borg 2015-10-02 09:13:59 +02:00
commit 44891b6924

View File

@ -1,7 +1,20 @@
#!/bin/sh #!/bin/sh
base=http://docs.syncthing.net/man/ 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 for page in "${pages[@]}" ; do
curl -sLO "$base$page" curl -sLO "$base$page"