From 6b45f57d4dbb5d984887accec87bf53ffba86a94 Mon Sep 17 00:00:00 2001
From: Hans Dijkema <hans@dijkewijk.nl>
Date: Tue, 11 Aug 2026 17:33:56 +0200
Subject: [PATCH] Even refresh-makefile can be done using a make command.

---
 Makefile.rkt | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/Makefile.rkt b/Makefile.rkt
index 42dd1c4..3286c9a 100644
--- a/Makefile.rkt
+++ b/Makefile.rkt
@@ -53,4 +53,10 @@
 
 (target showdoc
         (deps doc)
-        (send-url/file "docs/racket-makefile.html"))
\ No newline at end of file
+        (send-url/file "docs/racket-makefile.html"))
+
+(target refresh
+        (displayln "Refreshing makefile")
+        (refresh-makefile)
+        (displayln "done.")
+        )
\ No newline at end of file