--- a/doc-src/Intro/Makefile Thu May 06 18:48:46 1999 +0200
+++ b/doc-src/Intro/Makefile Thu May 06 19:04:20 1999 +0200
@@ -26,3 +26,16 @@
$(LATEX) $(NAME)
$(SEDINDEX) $(NAME)
$(LATEX) $(NAME)
+
+
+pdf: $(NAME).pdf
+
+$(NAME).pdf: $(FILES) isabelle.png
+ touch $(NAME).ind
+ $(PDFLATEX) $(NAME)
+ $(BIBTEX) $(NAME)
+ $(PDFLATEX) $(NAME)
+ $(PDFLATEX) $(NAME)
+ $(SEDINDEX) $(NAME)
+ $(FIXBOOKMARKS) $(NAME).out
+ $(PDFLATEX) $(NAME)
--- a/doc-src/Intro/intro.tex Thu May 06 18:48:46 1999 +0200
+++ b/doc-src/Intro/intro.tex Thu May 06 19:04:20 1999 +0200
@@ -7,7 +7,7 @@
%prth *(\(.*\)); \1;
%{\\out \(.*\)} {\\out val it = "\1" : thm}
-\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Introduction to Isabelle}
+\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}
\author{{\em Lawrence C. Paulson}\\
Computer Laboratory \\ University of Cambridge \\
\texttt{lcp@cl.cam.ac.uk}\\[3ex]