small changes to documentation; also, '\''make doc'\'' doesn't build dot graphs ...

diff --git a/README b/README
index f4178844d1a954e9e2cb7d409f53e7dd8e64dd60..d064c226dde49adcbc499d9ab475cac1e5590720 100644 (file)
--- a/README
+++ b/README
@@ -9,9 +9,16 @@ installed (see below). Execute,
     ./configure
     make
 
+You can then "make install" to install in the prefix you gave to
+the configure script (/usr/local by default).
+
 To build a source release, use "make dist"; this will include the
 configure script and all the bits of automake/autoconf/libtool that
-are necessary for an independent install.
+are necessary for an independent install.  You'll find the resulting
+tarball in builds/cvc4-${VERSION}.tar.gz.
+
+To build documentation, use "make doc".  Documentation is produced
+under doc/ but is not installed by "make install".
 
 *** Dependencies
 

diff --git a/configure.ac b/configure.ac
index ba5050fae252dedafc63419cc46b3b50e0451135..60125834278ed0cecfe433a9ea45ba4bf5494c53 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -578,7 +578,7 @@ AC_PROG_ANTLR
 
 DX_PDF_FEATURE(OFF)
 DX_PS_FEATURE(OFF)
-DX_DOT_FEATURE(ON)
+DX_DOT_FEATURE(OFF)
 DX_INIT_DOXYGEN($PACKAGE_NAME, config/doxygen.cfg, $srcdir/doc)
 
 AC_ARG_VAR(CXXTEST, [path to CxxTest installation])