From 48b0aec2d03dc79a84b45ddb9069554ac0e01a9b Mon Sep 17 00:00:00 2001
From: Ian Hinder <ian.hinder@aei.mpg.de>
Date: Wed, 4 Aug 2010 23:58:08 +0200
Subject: Doc: Make PDF the default documentation target and use htlatex
 instead of latex2html for HTML

---
 Doc/Makefile | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'Doc')

diff --git a/Doc/Makefile b/Doc/Makefile
index e2b201f..81d5a8c 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -1,8 +1,9 @@
 
 LATEX = latex --interaction=nonstopmode 
+PDFLATEX = pdflatex --interaction=nonstopmode
 #-file-line-error-style
 
-default: KrancDoc.ps
+default: KrancDoc.pdf
 
 help:	
 	@echo "Type make <file>.ps to build from latex source. Can also make <file>.pdf and <file>.html"
@@ -17,7 +18,7 @@ clean:
 	dvips -o $@ $<
 
 %.html:	%.tex
-	latex2html -split 3 $<
+	htlatex $<
 
 %.pdf:	%.tex
-	pdflatex $<
+	$(PDFLATEX) $<
-- 
cgit v1.2.3