Subject: Re: [PATCH 1/4] Makefile: extract script to lint missing/extraneous manpages

From: Junio C Hamano <[email-masked]>
Date: Tue, 04 Jun 2024 22:20:54 -0700

Patrick Steinhardt <[email-masked]> writes:

> +++ b/Documentation/lint-manpages.sh
> @@ -0,0 +1,82 @@
> +#!/usr/bin/env bash

I do not see much bash-ism here.  Unless absolutely needed, please
use "#!/bin/sh" instead.