@echo "\"make setprelude\" to enable prelude output."
@echo "\"make setdb\" to enable database support."
@echo "\"make unsetdb\" to disable database support."
@echo "\"make setprelude\" to enable prelude output."
@echo "\"make setdb\" to enable database support."
@echo "\"make unsetdb\" to disable database support."