Even refresh-makefile can be done using a make command.

2026-08-11 17:33:56 +02:00
parent 63bd9a4576
commit 6b45f57d4d
1 changed files with 7 additions and 1 deletions
@@ -54,3 +54,9 @@
 (target showdoc
        (deps doc)
        (send-url/file "docs/racket-makefile.html"))
+
+(target refresh
+        (displayln "Refreshing makefile")
+        (refresh-makefile)
+        (displayln "done.")
+        )