Merge pull request #133 from andlaus/handbook_improve_hyperref

handbook: use more sensible options for the hyperref package

doc/handbook/build-handbook.sh

@@ -1,11 +1,11 @@
 #! /bin/sh
 
-# this script build the eWoms handbook from its LaTeX sources. The
+# this script builds the eWoms handbook from its LaTeX sources. The
 # result file is called "ewoms-handbook.pdf"
 
-latex ewoms-handbook
-bibtex ewoms-handbook
-latex ewoms-handbook
-latex ewoms-handbook
-dvipdf ewoms-handbook
+latex ewoms-handbook || exit $?
+bibtex ewoms-handbook || exit $?
+latex ewoms-handbook || exit $?
+latex ewoms-handbook || exit $?
+dvipdf ewoms-handbook || exit $?
 rm ewoms-handbook.dvi

doc/handbook/ewoms-handbook.tex

@@ -47,7 +47,26 @@
 \lstset{showstringspaces=false,
  breaklines=true}
 
-\usepackage{hyperref}
+\usepackage[
+            pdfpagelabels=true,
+            %draft,
+            final,
+            bookmarks=true,
+            bookmarksnumbered=true,
+            bookmarksopen=true,
+            bookmarksopenlevel=1,
+            breaklinks=true,
+            colorlinks=true,
+            hyperindex=true,
+            linkcolor=black,
+            citecolor=black,
+            urlcolor=black,
+            pdfpagelayout=SinglePage,
+            %ps2pdf
+            %dvips
+            %dvipdf
+            %pdftex
+            ]{hyperref}
 \usepackage{psfrag}
 \usepackage{makeidx}
 \usepackage{graphicx}