man: refresh.sh requires bash

2017-01-01 20:45:52 +01:00
parent 6809d38cde
commit 8c34a76f7a
1 changed files with 1 additions and 1 deletions
--- a/man/refresh.sh
+++ b/man/refresh.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 base=https://docs.syncthing.net/man/
 pages=(