diff options
Diffstat (limited to 'hack/man-page-checker')
| -rwxr-xr-x | hack/man-page-checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/hack/man-page-checker b/hack/man-page-checker index d2cc6c6e1..45f9edbd1 100755 --- a/hack/man-page-checker +++ b/hack/man-page-checker @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # man-page-checker - validate and cross-reference man page names # |