Src=cs310
Out=cs310

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 --split node   --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