diff options
Diffstat (limited to 'ocaml-binary-annot/ocamlbuild/manual/Makefile')
| -rw-r--r-- | ocaml-binary-annot/ocamlbuild/manual/Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/ocaml-binary-annot/ocamlbuild/manual/Makefile b/ocaml-binary-annot/ocamlbuild/manual/Makefile new file mode 100644 index 0000000000..055d42e71f --- /dev/null +++ b/ocaml-binary-annot/ocamlbuild/manual/Makefile @@ -0,0 +1,15 @@ +# Makefile + +all: manual.pdf manual.html + +%.pdf: %.tex + pdflatex $< + pdflatex $< + +%.html: %.tex manual.hva + hevea -fix -O manual.hva $< + +.PHONY: clean + +clean: + rm -f *.pdf *.log *.aux *.ps *.dvi manual.h{tml,aux,toc} |