wmii

git clone git://oldgit.suckless.org/wmii/
Log | Files | Refs | README | LICENSE

commit 3a98bc41edd6e9363c41e5888e47ebb92932ef9d
parent de7bec431f139f25351d817cd3e48317522c913c
Author: salva <salva@firulillo.hopto.org>
Date:   Wed, 29 Mar 2006 12:58:37 +0000

added doc/Makefile for generating tex documents


Diffstat:
doc/Makefile | 14++++++++++++++
1 file changed, 14 insertions(+), 0 deletions(-)

diff --git a/doc/Makefile b/doc/Makefile @@ -0,0 +1,14 @@ +SRC = guide_en.tex wmii.tex +Odvi = ${SRC:.tex=.dvi} +Opdf = ${SRC:.tex=.pdf} + +all: ${Odvi} ${Opdf} + @echo Finished doc + @echo ------------------------------------------------------- +%.dvi: %.tex + latex -interaction=batchmode $< + latex -interaction=batchmode $< +%.pdf: %.tex + pdflatex $< +clean: + rm -f *.pdf *.dvi *.log *.aux *.out *.toc