.PHONY: dvi
dvi:

.PHONY: html
html:
	@echo "No program to make target '$@'. Stop."
	@echo ""
	@echo "The target '$@' can be enabled by installing jsdoc:"
	@echo "  npm install -g jsdoc"
	@false

.PHONY: pdf
pdf:

.PHONY: ps
ps:

.PHONY: clean-dvi
clean-dvi:

.PHONY: clean-html
clean-html:

.PHONY: clean-pdf
clean-pdf:

.PHONY: clean-ps
clean-ps: