Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
replaced png by pdf;
authorwenzelm
Fri, 07 May 1999 17:50:43 +0200
changeset 6617 2d56911d7329
parent 6616 eb87300379fe
child 6618 13293a7d4a57
replaced png by pdf;
doc-src/Intro/Makefile file | annotate | diff | comparison | revisions
doc-src/Makefile.in file | annotate | diff | comparison | revisions 
--- a/doc-src/Intro/Makefile	Fri May 07 17:49:32 1999 +0200
+++ b/doc-src/Intro/Makefile	Fri May 07 17:50:43 1999 +0200
@@ -30,7 +30,7 @@
 
 pdf: $(NAME).pdf
 
-$(NAME).pdf: $(FILES) isabelle.png
+$(NAME).pdf: $(FILES) isabelle.pdf
 	touch $(NAME).ind
 	$(PDFLATEX) $(NAME)
 	$(BIBTEX) $(NAME)
--- a/doc-src/Makefile.in	Fri May 07 17:49:32 1999 +0200
+++ b/doc-src/Makefile.in	Fri May 07 17:50:43 1999 +0200
@@ -36,11 +36,11 @@
 isabelle_zf.eps:
 	test -r isabelle_zf.eps || ln -s ../gfx/isabelle_zf.eps .
 
-isabelle.png:
-	test -r isabelle.png || ln -s ../gfx/isabelle.png .
+isabelle.pdf:
+	test -r isabelle.pdf || ln -s ../gfx/isabelle.pdf .
 
-isabelle_hol.png:
-	test -r isabelle_hol.png || ln -s ../gfx/isabelle_hol.png .
+isabelle_hol.pdf:
+	test -r isabelle_hol.pdf || ln -s ../gfx/isabelle_hol.pdf .
 
-isabelle_zf.png:
-	test -r isabelle_zf.png || ln -s ../gfx/isabelle_zf.png .
+isabelle_zf.pdf:
+	test -r isabelle_zf.pdf || ln -s ../gfx/isabelle_zf.pdf .
isabelle