pdf setup;
authorwenzelm
Thu May 06 19:04:20 1999 +0200 (1999-05-06)
changeset 661108dfd050b373
parent 6610 becd902a0e97
child 6612 e1b7b76bc197
pdf setup;
doc-src/Intro/Makefile
doc-src/Intro/intro.tex
     1.1 --- a/doc-src/Intro/Makefile	Thu May 06 18:48:46 1999 +0200
     1.2 +++ b/doc-src/Intro/Makefile	Thu May 06 19:04:20 1999 +0200
     1.3 @@ -26,3 +26,16 @@
     1.4  	$(LATEX) $(NAME)
     1.5  	$(SEDINDEX) $(NAME)
     1.6  	$(LATEX) $(NAME)
     1.7 +
     1.8 +
     1.9 +pdf: $(NAME).pdf
    1.10 +
    1.11 +$(NAME).pdf: $(FILES) isabelle.png
    1.12 +	touch $(NAME).ind
    1.13 +	$(PDFLATEX) $(NAME)
    1.14 +	$(BIBTEX) $(NAME)
    1.15 +	$(PDFLATEX) $(NAME)
    1.16 +	$(PDFLATEX) $(NAME)
    1.17 +	$(SEDINDEX) $(NAME)
    1.18 +	$(FIXBOOKMARKS) $(NAME).out
    1.19 +	$(PDFLATEX) $(NAME)
     2.1 --- a/doc-src/Intro/intro.tex	Thu May 06 18:48:46 1999 +0200
     2.2 +++ b/doc-src/Intro/intro.tex	Thu May 06 19:04:20 1999 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  %prth *(\(.*\));          \1;      
     2.5  %{\\out \(.*\)}          {\\out val it = "\1" : thm}
     2.6  
     2.7 -\title{\includegraphics[scale=0.5]{isabelle.eps} \\[4ex] Introduction to Isabelle}   
     2.8 +\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] Introduction to Isabelle}   
     2.9  \author{{\em Lawrence C. Paulson}\\
    2.10          Computer Laboratory \\ University of Cambridge \\
    2.11          \texttt{lcp@cl.cam.ac.uk}\\[3ex]