
Module: ppl/ppl Branch: master Commit: 42cca8187f6d0388c58ef693611dfc1ab932a717 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42cca8187f6d0...
Author: Roberto Bagnara bagnara@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])