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-dnsmanager-docs.log HTTPD_ADDR ?= 127.0.0.1 HTTPD_PORT ?= 9001 DIR ?= docs serve-doc: darkhttpd $(DIR) --addr $(HTTPD_ADDR) --port $(HTTPD_PORT) --log $(HTTPD_ACCESS_LOGS)