Rename doc/README.txt to doc/README_details.txt
authorIvan Maidanski <ivmai@mail.ru>
Tue, 16 May 2017 12:15:55 +0000 (15:15 +0300)
committerIvan Maidanski <ivmai@mail.ru>
Tue, 16 May 2017 12:15:55 +0000 (15:15 +0300)
commit2338042175c33cadb0c95824276dfcc437aba221
treefdd26f6eebb40d753c720a4d9dc055db7785ed5e
parentffe2c3b68f4496564c8323a8f76eecef7a154bad
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.
doc/Makefile.am
doc/README_details.txt [moved from doc/README.txt with 100% similarity]