From b6aef44fd311f42333aae829c2d70d392e3d8848 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 15 Dec 1998 15:50:44 +0000
Subject: Added ps to make all.

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

(limited to 'doc/Makefile')

diff --git a/doc/Makefile b/doc/Makefile
index 32c5bcc1..80839a17 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -65,11 +65,12 @@ EMACS = xemacs -batch
 doc:	dvi info
 
 ## 
-## all : build dvi, html, info
+## all : build dvi, ps, html, info
 ##
-all:    dvi html info
+all:    dvi ps html info
 
 dvi:    $(DOCNAME).dvi
+ps:	$(DOCNAME).ps
 pdf:    $(DOCNAME).pdf
 html:   $(DOCNAME).html
 info:   $(DOCNAME).info
-- 
cgit v1.2.3