wmii

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

commit 2b8252c70fda52daab91672a23e7ecbfa09861c4
parent 947a15ac98dfd829aeb09fb1b2cb6c107037598e
Author: Sander van Dijk <sander@wmii.de>
Date:   Thu, 27 Apr 2006 22:11:07 +0000

make the Makefile in the doc/ dir more portable (%.dvi: %.tex is GNU make only, well at least it doesn't work on NetBSD make)


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

diff --git a/doc/Makefile b/doc/Makefile @@ -1,18 +1,25 @@ # window manager improved 2 user guide + SRC = guide_en.tex wmii.tex -Odvi = ${SRC:.tex=.dvi} -Opdf = ${SRC:.tex=.pdf} -Ohtml = ${SRC:.tex=.html} +DVI = ${SRC:.tex=.dvi} +PDF = ${SRC:.tex=.pdf} +HTML = ${SRC:.tex=.html} + +all: ${DVI} ${PDF} #${HTML} + +.SUFFIXES: .tex .dvi .pdf .html -all: ${Odvi} ${Opdf} #${Ohtml} -%.dvi: %.tex +.tex.dvi: latex -interaction=batchmode $< latex -interaction=batchmode $< -%.pdf: %.tex + +.tex.pdf: pdflatex $< pdflatex $< -%.html: %.tex + +.tex.html: latex2html $< + clean: rm -f *.pdf *.dvi *.log *.aux *.out *.toc rm -rf guide_en