# DEVELOPER TOOLS

print-messages:;                      cat src/requests/*.cr | ./bin/get-messages.awk
print-message-numbers:;               make -s print-messages | grep -E "^[0-9]" | sort -n
print-messages-no-comments:;          make -s print-messages | grep -vE '^[[:blank:]]+#'
print-response-messages:;             cat src/responses/*.cr | ./bin/get-messages.awk
print-response-message-numbers:;      make -s print-response-messages | grep -E "^[0-9]" | sort -n
print-response-messages-no-comments:; make -s print-response-messages | grep -vE '^[[:blank:]]+#'

HTTPD_ACCESS_LOGS ?= /tmp/access-authd-docs.log
HTTPD_ADDR        ?= 127.0.0.1
HTTPD_PORT        ?= 9000
DIR               ?= docs
serve-doc:
	darkhttpd $(DIR) --addr $(HTTPD_ADDR) --port $(HTTPD_PORT) --log $(HTTPD_ACCESS_LOGS)