Src=cs472
Out=cs472

all : htmls info pdf

publish: 
	$(MAKE) -B htmls
	svn commit -m stuff

htmls : html adds patch

ready : all
	svn commit -m update

html : $(Src).html
		- mv *.html $(Out)/
info : $(Src).info
		- mv *.info $(Out)/
pdf : $(Src).pdf
		- mv *.pdf $(Out)/

%.info : %.texi ; makeinfo --force $<
%.pdf  : %.texi ; texi2dvi -p -c -o $@ $<
%.html : %.texi 
	texi2html --use-nodes --split nodes    --css-include=add/index.css $<

adds : 
	cp add/* $(Out)

patch :
	cd $(Out); for i in *.html  ; do \
                 sed -i '' -e's/href="http/target= "_blank" &/' $$i; done