diff options
Diffstat (limited to 'btreplay/doc/Makefile')
| -rw-r--r-- | btreplay/doc/Makefile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/btreplay/doc/Makefile b/btreplay/doc/Makefile new file mode 100644 index 0000000..e3b383e --- /dev/null +++ b/btreplay/doc/Makefile @@ -0,0 +1,18 @@ +DOCTMP = btreplay.log btreplay.aux btreplay.dvi btreplay.toc + +all: btreplay.dvi btreplay.pdf + +btreplay.tex: + @touch btreplay.tex + +btreplay.dvi: btreplay.tex abstract.tex + @latex btreplay.tex + @latex btreplay.tex + +btreplay.pdf: btreplay.dvi + @dvipdfm -p letter btreplay + +clean: + -rm -f $(DOCTMP) + -rm -f *.bak *.ps *.pdf + @rm -rf btreplay |