From 2eebc107588669ef75557eb6adc66583ea3f9838 Mon Sep 17 00:00:00 2001 From: Enzo Venturi Date: Wed, 15 Mar 2023 04:30:07 +0000 Subject: [PATCH] doc: replace 'README' with 'README.md' By referring to "README.md" instead of just "README", the configure script will help ensure that users are directed to the correct file for the documentation. --- Makefile | 2 +- configure | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index e5224e8a..2dc1c289 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,3 @@ %: - @echo read the README file + @echo read the README.md file diff --git a/configure b/configure index e65a484c..c4d25cab 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ #!/bin/sh -echo read the README file. +echo read the README.md file.