summaryrefslogtreecommitdiff
path: root/README
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-06-01 15:03:24 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-06-01 15:03:24 +0000
commitdcad4d0c44b450bf0d99f1e49409d04d5e5300c1 (patch)
tree969cc0da016b264f0905cdb1756579c374f9bc94 /README
parentcbb9ad0dbb203b950c95148aba9cd8f395d14729 (diff)
downloadmpfr-dcad4d0c44b450bf0d99f1e49409d04d5e5300c1.tar.gz
[Makefile.am] Put doc/README.dev in EXTRA_DIST to provide this file in
tarballs too (it is not installed by "make install", though), since it contains information that may be useful for users of tarballs and various distributed files mention it. [README] Update about the "doc" directory and "doc/README.dev". git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11561 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'README')
-rw-r--r--README6
1 files changed, 3 insertions, 3 deletions
diff --git a/README b/README
index 8b9f1dd90..7ead79452 100644
--- a/README
+++ b/README
@@ -41,7 +41,7 @@ compile - auxiliary installation file
config.* - auxiliary installation files
configure* - configuration files
depcomp - auxiliary installation file
-doc/ - directory containing the documentation (manual, FAQ)
+doc/ - directory containing documentation (manual, FAQ, etc.)
examples/ - directory containing examples
install-sh - installation file
ltmain.sh - auxiliary installation file
@@ -86,5 +86,5 @@ For more information about Subversion, please see:
but interesting general information can be found there);
* http://subversion.apache.org/faq.html (the Subversion FAQ).
-Subversion users should read the file "doc/README.dev" (provided via
-SVN only).
+Subversion users should read the file "doc/README.dev" (in the
+source tree).