Updated doc.

[idzebra-moved-to-github.git] / doc / Makefile

diff --git a/doc/Makefile b/doc/Makefile
index ec23d20..1280174 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -1,14 +1,11 @@
-# $Id: Makefile,v 1.3 1996-05-13 13:25:51 quinn Exp $
-all: zebra.ps zebra.txt zebra.html
+# $Id: Makefile,v 1.4 1998-01-29 13:35:11 adam Exp $
+all: zebra.tex zebra.txt zebra.html
 
 zebra.txt: zebra.sgml
        sgml2txt zebra.sgml
 
-zebra.dvi: zebra.sgml
-       sgml2ps -d zebra.sgml
-
-zebra.ps: zebra.sgml
-       sgml2ps zebra.sgml
+zebra.tex: zebra.sgml
+       sgml2latex zebra.sgml
 
 zebra.html: zebra.sgml
        sgml2html zebra.sgml
@@ -17,8 +14,8 @@ zebra.html: zebra.sgml
 gils.txt: gils.sgml
        sgml2txt gils.sgml
 
-gils.ps: gils.sgml
-       sgml2ps gils.sgml
+gils.tex: gils.sgml
+       sgml2latex gils.sgml
 
 gils.html: gils.sgml
        sgml2html gils.sgml