diff options
author | Nikos Mavrogiannopoulos <nmav@redhat.com> | 2018-05-18 14:24:23 +0200 |
---|---|---|
committer | Daiki Ueno <ueno@gnu.org> | 2018-05-23 08:50:37 +0200 |
commit | 6af8234936f805a9c6dceb29a84e73d40ed4b257 (patch) | |
tree | fc6e8e45927b4847cc5d41ec14cc9091bdb7e87d /.gitignore | |
parent | 58c3eb9acf5885069652f1b02edb7aca01580b96 (diff) |
README: replace by README.md
That is, use README.md as primary source to generate README as
README is required by the GNU guidelines. We don't try to convert
to "real" plain text as markdown is readable, and to avoid introducing
another dependency (e.g., pandoc).
Signed-off-by: Nikos Mavrogiannopoulos <nmav@redhat.com>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -42,6 +42,7 @@ depcomp makefile install-sh INSTALL +README libtool ltmain.sh makefile |