From c10c172b927c456f1a38223fca6b1ab9c454f6a1 Mon Sep 17 00:00:00 2001 From: wbhart Date: Thu, 16 Jul 2009 08:57:01 +0000 Subject: [PATCH] Added line describing where Configure.txt can be found in the source tree. Signed-off-by: --- doc/devel/Configure.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/devel/Configure.txt b/doc/devel/Configure.txt index d2a5ec82..6e6dca7c 100644 --- a/doc/devel/Configure.txt +++ b/doc/devel/Configure.txt @@ -238,4 +238,6 @@ deal with sqr_basecase if found -GMP_FINISH creates config.m4 --create makefiles from the Makefile.in's \ No newline at end of file +-create makefiles from the Makefile.in's + +This document, configure.txt can be found in /doc/devel of the MPIR source tree. \ No newline at end of file