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 <[email protected]>
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.
