[PPL-devel] [GIT] ppl/ppl(master): Typo fixed.

[Roberto Bagnara]

Module: ppl/ppl
Branch: master
Commit: 42cca8187f6d0388c58ef693611dfc1ab932a717
URL:    http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42cca8187f6d0388c58ef693611dfc1ab932a717

Author: Roberto Bagnara <bagnara at cs.unipr.it>
Date:   Sun Nov  6 09:48:05 2011 +0100

Typo fixed.

---

 doc/user.tex       |    3 ++-
 m4/ac_check_gmp.m4 |    2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/doc/user.tex b/doc/user.tex
index 62faa88..9502d6f 100644
--- a/doc/user.tex
+++ b/doc/user.tex
@@ -36,7 +36,8 @@
 \usepackage{alltt}
 \usepackage{times}
 \usepackage{tocloft}
-\usepackage{ifpdf}
+\usepackage{sectsty}
+\allsectionsfont{\sffamily}\usepackage{ifpdf}
 \ifpdf
 \usepackage[pdftex,
             pagebackref=true,
diff --git a/m4/ac_check_gmp.m4 b/m4/ac_check_gmp.m4
index 87a178e..dbb747c 100644
--- a/m4/ac_check_gmp.m4
+++ b/m4/ac_check_gmp.m4
@@ -57,7 +57,7 @@ AC_ARG_WITH(gmp-build,
   AS_HELP_STRING([--with-gmp-build=DIR],
                  [use a non-installed build of GMP in DIR]),
   gmp_build_dir=$with_gmp_build
-  if test -n "$with_gmp"
+  if test -n "$with_gmp" \
   || test -n "$with_gmp_include" || test -n "$with_gmp_lib"
   then
     AC_MSG_ERROR([cannot use --with-gmp-build and other --with-gmp* options together])