Rename README with proper file extension.

The README is written in asciidoc. At the times, IIRC GitHub didn't support that markup format, but nowadays it's a good idea to name the file properly.
dimitri · Aug 8, 2017 · 0d41df3 · 0d41df3
1 parent 0535a38
commit 0d41df3
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -14,7 +14,7 @@ ARCHIVE= $(DEBDIR)/export/$(PKGNAME)-$(VERSION).tar.gz
 
 doc: README.html
 
-README.html: README
+README.html: README.asciidoc
 	asciidoc -a toc -o $@ $<
 
 install: doc

diff --git a/README → README.asciidoc b/README → README.asciidoc