Module: ppl/ppl Branch: master Commit: d068194797b8e5616faf7d7d886d45eccd736a6f URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d068194797b8e...
Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Nov 6 11:15:06 2011 +0100
No longer pass the `draft' option to package `hyperref'.
---
doc/user.tex | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/doc/user.tex b/doc/user.tex index 2def09b..0c34e8f 100644 --- a/doc/user.tex +++ b/doc/user.tex @@ -42,14 +42,14 @@ pagebackref=true, colorlinks=true, linkcolor=blue, - unicode,draft + unicode ]{hyperref} \else \usepackage[ps2pdf, pagebackref=true, colorlinks=true, linkcolor=blue, - unicode,draft + unicode ]{hyperref} \usepackage{pspicture} \fi