# HG changeset patch
# User wenzelm
# Date 926351057 -7200
# Node ID 6edc66a9d80b582085e59618ad434f45e918e078
# Parent  12ed4f748f7caba22f2a0c2cbdfa6082248a3f70
tuned;

diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/AxClass/Makefile
--- a/doc-src/AxClass/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/AxClass/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/HOL/Makefile
--- a/doc-src/HOL/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/HOL/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/Inductive/Makefile
--- a/doc-src/Inductive/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Inductive/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,6 +5,9 @@
 #									#
 #########################################################################
 
+dvi: dist
+
+pdf:
 
 FILES =  ind-defs.tex ../proof.sty ../iman.sty ../extra.sty
 
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/Intro/Makefile
--- a/doc-src/Intro/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Intro/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/Logics/Makefile
--- a/doc-src/Logics/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Logics/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/Ref/Makefile
--- a/doc-src/Ref/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/Ref/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/System/Makefile
--- a/doc-src/System/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/System/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies
diff -r 12ed4f748f7c -r 6edc66a9d80b doc-src/ZF/Makefile
--- a/doc-src/ZF/Makefile	Mon May 10 17:43:55 1999 +0200
+++ b/doc-src/ZF/Makefile	Mon May 10 17:44:17 1999 +0200
@@ -5,7 +5,6 @@
 ## targets
 
 default: dvi
-dist: dvi
 
 
 ## dependencies