From f008588307c23fee82648643651eb63a064a520a Mon Sep 17 00:00:00 2001 From: Stefan Tatschner Date: Fri, 2 Oct 2015 08:52:04 +0200 Subject: [PATCH] Update refresh.sh to fetch missing manpages syncthing-bep(7) and syncthing-localdisco(7) had been added. --- man/refresh.sh | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/man/refresh.sh b/man/refresh.sh index edc9bf90a..9a5a5f325 100755 --- a/man/refresh.sh +++ b/man/refresh.sh @@ -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"