diff options
author | Ivan Maidanski <ivmai@mail.ru> | 2017-05-16 15:15:55 +0300 |
---|---|---|
committer | Ivan Maidanski <ivmai@mail.ru> | 2017-05-16 15:51:03 +0300 |
commit | 966a86268d441ec00e098057bc8cecbd7d4da30b (patch) | |
tree | 54f1f5dad453b6e3a9fea3a6cc57837436ee0583 | |
parent | 68d84630c7ff335e5a4c7b8bc14fb63babe1bc5b (diff) | |
download | libatomic_ops-966a86268d441ec00e098057bc8cecbd7d4da30b.tar.gz |
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.
-rw-r--r-- | doc/Makefile.am | 2 | ||||
-rw-r--r-- | doc/README_details.txt (renamed from doc/README.txt) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index b4a1bb6..66af2bd 100644 --- 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 index 2b96cd2..2b96cd2 100644 --- a/doc/README.txt +++ b/doc/README_details.txt |