From 551a92131b826c5e30fae32eb72e323b2a8ebd3a Mon Sep 17 00:00:00 2001
From: Sylvain Pion <Sylvain.Pion@sophia.inria.fr>
Date: Wed, 26 Aug 2009 08:40:41 +0000
Subject: [PATCH] Run pdflatex instead of latex as the first step towards the
 HTML manual. This avoids requiring EPS/PS figures when only the PDF and HTML
 manuals are needed.

---
 Manual/developer_scripts/cgal_manual | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/Manual/developer_scripts/cgal_manual b/Manual/developer_scripts/cgal_manual
index 24e6c9e44e0..228db1dfa30 100755
--- a/Manual/developer_scripts/cgal_manual
+++ b/Manual/developer_scripts/cgal_manual
@@ -1418,10 +1418,9 @@ make_manual_prime() {
     touch $LogFile
 
     #---------------------------------------------------------------------#
-    # run LaTeX, either brief or full,
-    # skip only if no PS output but PDF output is selected
+    # run LaTeX, either brief or full
     $BeforeLatex ${WrapperRootName%__*}
-    if [[ ${MakePS} -eq 1 ||  ${MakePDF} -eq 0 ]]; then
+    if [ ${MakePS} -eq 1 ]; then
       try_command "${MakeName} ${WrapperRootName} LaTeX" run_latex ${WrapperRootName}
       if [ $ExitCode -ne 0 ] ; then ReturnStatus=$ExitCode; fi
     fi
@@ -1429,7 +1428,7 @@ make_manual_prime() {
     #---------------------------------------------------------------------#
     # run PDFLaTeX
     $BeforePDF ${WrapperRootName%__*}
-    if [ ${MakePDF} -eq 1 ]; then
+    if [[ ${MakePDF} -eq 1 || ${MakeHTML} -eq 1 ]]; then
       if [[ -r ${WrapperRootName}.log ]] ; then
         mv ${WrapperRootName}.log ${WrapperRootName}.texlg
       fi