projects
/
idzebra-moved-to-github.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixed bug regarding USE_TIMES var.
[idzebra-moved-to-github.git]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index
e1ee105
..
ec23d20
100644
(file)
--- a/
doc/Makefile
+++ b/
doc/Makefile
@@
-1,4
+1,4
@@
-# $Id: Makefile,v 1.1 1995-11-27 14:23:52 adam Exp $
+# $Id: Makefile,v 1.3 1996-05-13 13:25:51 quinn Exp $
all: zebra.ps zebra.txt zebra.html
zebra.txt: zebra.sgml
all: zebra.ps zebra.txt zebra.html
zebra.txt: zebra.sgml
@@
-13,6
+13,16
@@
zebra.ps: zebra.sgml
zebra.html: zebra.sgml
sgml2html zebra.sgml
zebra.html: zebra.sgml
sgml2html zebra.sgml
+
+gils.txt: gils.sgml
+ sgml2txt gils.sgml
+
+gils.ps: gils.sgml
+ sgml2ps gils.sgml
+
+gils.html: gils.sgml
+ sgml2html gils.sgml
+
clean:
rm -f [0-9]* *.bak
clean:
rm -f [0-9]* *.bak