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 > > # > _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel