From 542ea993cbfdf3e4eb5f234817a7fc7a631e8472 Mon Sep 17 00:00:00 2001 From: Daniel Cerqueira Date: Tue, 27 Jan 2026 17:15:02 +0000 Subject: Makefile: add alias 'doc' of 'html' --- Makefile | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Makefile b/Makefile index 17a6e6d..45b8f60 100644 --- a/Makefile +++ b/Makefile @@ -86,6 +86,9 @@ $(PROGRAM): $(OBJECTS) .PHONY: html html: $(HTML) +.PHONY: doc +doc: $(HTML) + %.html: %.md md2html -f -o $@ $< -- cgit