branch: elpa/proof-general
commit c70d0732caf24bcf7c24b2da8e8e557e5f34de21
Author: Jorge Gomez <jg...@dismail.de>
Commit: GitHub <nore...@github.com>
Update Makefile
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 4d8f51ccab..7a5df56023 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ ELISP_EXTRAS=
# to be installed
EXTRA_DIRS = images
-DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README doc/*.pdf
+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README.md
doc/*.pdf
DOC_EXAMPLES=pgshell/*.pgsh phox/*.phx
DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS
