Rename doc/README.txt to doc/README_details.txt

This is to differentiate from README.md when the documents are installed.

* doc/Makefile.am (dist_doc_DATA): Rename README.txt item to
README_details.txt.
* doc/README.txt: Rename to README_details.txt.

diff --git a/doc/Makefile.am b/doc/Makefile.am
index b4a1bb6..66af2bd 100644 (file)
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -1,4 +1,4 @@
 # installed documentation
 #
-dist_doc_DATA = LICENSING.txt README.txt README_stack.txt \
+dist_doc_DATA = LICENSING.txt README_details.txt README_stack.txt \
     README_malloc.txt README_win32.txt

diff --git a/doc/README.txt b/doc/README_details.txt
similarity index 100%
rename from doc/README.txt
rename to doc/README_details.txt