From abeb773ce468b5a66f9294cb819afdec919b8b12 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dominik=20Pant=C5=AF=C4=8Dek?= Date: Tue, 4 Jul 2023 20:17:07 +0200 Subject: [PATCH] Add doc target. --- Makefile | 4 ++++ src/gendoc.scm | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 6d4f118..92bea84 100644 --- a/Makefile +++ b/Makefile @@ -46,3 +46,7 @@ install-dev: .PHONY: gendoc gendoc: @make -C src gendoc + +.PHONY: doc +doc: gendoc + @./gendoc diff --git a/src/gendoc.scm b/src/gendoc.scm index d610233..5ea08b8 100644 --- a/src/gendoc.scm +++ b/src/gendoc.scm @@ -2,5 +2,6 @@ (import duck-extract util-time) -(print "GENDOC") +(print "# Utility modules") +(newline) (print-module-duck util-time)