From c42b1633321563da3143638e9d9f2fa470f11b2d Mon Sep 17 00:00:00 2001 From: Oran Agra Date: Sat, 5 Feb 2022 18:40:09 +0200 Subject: [PATCH] fix file permissions for scripts in utils folder (#10241) make sure the scripts are executable --- utils/generate-command-help.rb | 0 utils/generate-module-api-doc.rb | 2 ++ 2 files changed, 2 insertions(+) mode change 100644 => 100755 utils/generate-command-help.rb mode change 100644 => 100755 utils/generate-module-api-doc.rb diff --git a/utils/generate-command-help.rb b/utils/generate-command-help.rb old mode 100644 new mode 100755 diff --git a/utils/generate-module-api-doc.rb b/utils/generate-module-api-doc.rb old mode 100644 new mode 100755 index 8a16751b9..c6872e903 --- a/utils/generate-module-api-doc.rb +++ b/utils/generate-module-api-doc.rb @@ -1,3 +1,5 @@ +#!/usr/bin/env ruby + # coding: utf-8 # gendoc.rb -- Converts the top-comments inside module.c to modules API # reference documentation in markdown format.