From ca2f596b19b8966d734323db250d49c0d982d224 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 9 May 2000 09:42:25 +0000
Subject: Added default target

---
 doc/Makefile | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index fc767822..d61984d2 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -44,6 +44,8 @@ TMPFILE=pgt
 
 .SUFFIXES:  .texi .info .dvi .html .pdf .ps .eps .tiff .gz
 
+default: doc
+
 .texi.info:
 	$(MAKEINFO) $< 
 
@@ -109,6 +111,7 @@ ProofGeneralPortrait.pdf:
 ##
 doc:	dvi info
 
+
 ## 
 ## all : build all documentation targets
 ##
-- 
cgit v1.2.3