[PATCH] Use *.md extension for the release notes

[Chris Johns]

OK to push.

On 8/7/20 2:37 pm, Sebastian Huber wrote:
> ---
>  rtems-notes-5.txt => rtems-notes-5.md | 0
>  rtems-notes-6.txt => rtems-notes-6.md | 0
>  rtems-release                         | 4 ++--
>  3 files changed, 2 insertions(+), 2 deletions(-)
>  rename rtems-notes-5.txt => rtems-notes-5.md (100%)
>  rename rtems-notes-6.txt => rtems-notes-6.md (100%)
> 
> diff --git a/rtems-notes-5.txt b/rtems-notes-5.md
> similarity index 100%
> rename from rtems-notes-5.txt
> rename to rtems-notes-5.md
> diff --git a/rtems-notes-6.txt b/rtems-notes-6.md
> similarity index 100%
> rename from rtems-notes-6.txt
> rename to rtems-notes-6.md
> diff --git a/rtems-release b/rtems-release
> index b66ace3..86fa36d 100755
> --- a/rtems-release
> +++ b/rtems-release
> @@ -101,8 +101,8 @@ release=${version}.${revision}
>  #
>  # Does the release provide release notes?
>  #
> -if [ -f rtems-notes-${version}.txt ]; then
> - rtems_readme_release_notes=rtems-notes-${version}.txt
> +if [ -f rtems-notes-${version}.md ]; then
> + rtems_readme_release_notes=rtems-notes-${version}.md
>  fi
>  
>  #
>