diff options
Diffstat (limited to 'docs/storage-mgt/Makefile')
| -rw-r--r-- | docs/storage-mgt/Makefile | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/docs/storage-mgt/Makefile b/docs/storage-mgt/Makefile new file mode 100644 index 0000000000..871766d4fc --- /dev/null +++ b/docs/storage-mgt/Makefile @@ -0,0 +1,37 @@ +# General makefile for Latex stuff + +dvi: sm.dvi rp.dvi ldv.dvi +ps: sm.ps rp.ps ldv.ps + +######## General rules +.SUFFIXES: +.PRECIOUS: %.tex %.ps %.bbl + +#%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb *.fig))) $(wildcard *.bib) +%.dvi: %.tex $(addsuffix .tex, $(basename $(wildcard *.verb))) $(wildcard *.bib) + latex $< + @if grep -s "\citation" $*.aux; then bibtex $*; fi + latex $< + latex $< + +%.ps: %.dvi + dvips -f < $< > $@ + +clean: + $(RM) *.aux *.log + +distclean: clean + $(RM) *.dvi *.ps *.bbl *.blg *.gz + +maintainer-clean: distclean + +# dummy targets +all: +boot: +install: +install-docs: +html: +chm: +HxS: + +# End of file |