diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..449ddc4 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,21 @@ +INSTALLDIR=/projet/ivy/cvsimage/WWW/documentation + +all: ivy-java.pdf ivy-java + +ivy-java.pdf: ivy-java.dvi + dvipdf ivy-java.dvi + +ivy-java.dvi: ivy-java.sgml + db2ps ivy-java.sgml + +ivy-java: + db2html ivy-java.sgml + +install: + cp ivy-java.pdf $(INSTALLDIR) + -rm -rf $(INSTALLDIR)/ivy-protocol + cp -r ivy-java $(INSTALLDIR) + ( cd $(INSTALLDIR) ; pml2html ) + +clean: + rm -rf ivy-java ivy-java.ps ivy-java.dvi ivy-java.log ivy-java.aux ivy-java.pdf ivy-java.tex ivy-java.ps |