From 8c34a76f7aee09ec07914e7efc358c0389afb986 Mon Sep 17 00:00:00 2001
From: Jakob Borg <jakob@kastelo.net>
Date: Sun, 1 Jan 2017 20:45:52 +0100
Subject: [PATCH] man: refresh.sh requires bash

---
 man/refresh.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/man/refresh.sh b/man/refresh.sh
index 4406d688f..22491885c 100755
--- a/man/refresh.sh
+++ b/man/refresh.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 base=https://docs.syncthing.net/man/
 pages=(