HTMLDOC=htmldoc
HTMLDOC_PATH="$(shell which $(HTMLDOC))"

all:	manual.html

manual.html:	manual_body.html manual_title.html manual.book
ifneq ("$(HTMLDOC_PATH)", "")
	@echo "Creating manual"
	$(HTMLDOC_PATH) --batch manual.book 
endif	



