From 9f8879f91034d594f90c008ae52cedcd67c283d9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?St=C3=A9phane=20Del=20Pino?= <stephane.delpino44@gmail.com>
Date: Mon, 19 Jun 2023 00:06:53 +0200
Subject: [PATCH] Fix script shebang to improve portability of user doc
 generation

Now compiles on ubuntu...
---
 tools/pgs-pygments.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/pgs-pygments.sh b/tools/pgs-pygments.sh
index 168760cc8..e203c31da 100755
--- a/tools/pgs-pygments.sh
+++ b/tools/pgs-pygments.sh
@@ -1,4 +1,4 @@
-#! /bin/bash
+#! /usr/bin/env bash
 
 arguments=()
 
-- 
GitLab