[Getfem-commits] [getfem-commits] branch master updated: Fix issue from #89e50dbd

[Konstantinos Poulios via Getfem-commits]

This is an automated email from the git hooks/post-receive script.

logari81 pushed a commit to branch master
in repository getfem.

The following commit(s) were added to refs/heads/master by this push:
     new 76a75614 Fix issue from #89e50dbd
76a75614 is described below

commit 76a75614e9b60c603334cb7e5a637d0eedd78495
Author: Konstantinos Poulios <logar...@gmail.com>
AuthorDate: Tue Jun 28 14:42:23 2022 +0200

    Fix issue from #89e50dbd
---
 bin/extract_doc  | 2 +-
 bin/split_cmdref | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/extract_doc b/bin/extract_doc
index 0619560c..d444e652 100755
--- a/bin/extract_doc
+++ b/bin/extract_doc
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
 # -*- python -*-
 #
 # Copyright (C) 2004-2022 Yves Renard, Julien Pommier.
diff --git a/bin/split_cmdref b/bin/split_cmdref
index 5e8c2e34..db36a2e3 100755
--- a/bin/split_cmdref
+++ b/bin/split_cmdref
@@ -1,4 +1,4 @@
-#!/usr/bin/python3
+#!/usr/bin/env python3
 # -*- python -*-
 #
 # Copyright (C) 2004-2020 Yves Renard.