TOP_FILES=README TUTORIAL FAQ

MAKEINFO=makeinfo
TEXI2DVI=texi2dvi

all: ovm.info

.SUFFIXES: .texi .info .html .pdf .ps

# Convert a chapter of the manual to a standalone file
%-wrapper.texi:
	echo "\\input texinfo" > $@
	echo @setfilename $*.info >> $@
	echo @settitle $* >> $@
	echo @node Top >> $@
	echo @top $* >> $@
	echo @include $*.texi >> $@
	echo @bye

%: %-wrapper.texi %.texi
	-$(MAKEINFO) --force --no-headers -o $@ $*-wrapper.texi

%.info: %.texi
	$(MAKEINFO) $<

%.pdf: %.texi
	$(TEXI2DVI) --pdf $<

%.ps: %.texi
	$(TEXI2DVI) $<
	dvips -o $@ $*

FAQ.html: FAQ-wrapper.texi FAQ.texi
	-$(MAKEINFO) --html --no-split --force -o $@.raw $*-wrapper.texi
	awk -v in_link=0 '/<div class="node">/ { in_link=1 }	   \
			  in_link && /<a name=.*>/ {		   \
				match($$0, /<a name=[^>]*>/);	   \
			        link=substr($$0, RSTART, RLENGTH); \
				print link "</a>"		   \
			  }					   \
			  !in_link { print }			   \
		          /<\/div>/ { in_link = 0 }' < $@.raw > $@

top_files: $(TOP_FILES)
	cp $(TOP_FILES) $(top_srcdir)

html: *.texi
	$(MAKEINFO) --html ovm.texi

ovm.info ovm.html ovm.pdf: *.texi

clean:
	-rm *.ps *.dvi $(TOP_FILES) *-wrapper.texi FAQ.html*
	-rm -r ovm