Made it possible to use (refresh-makefile) in order to refresh an edited makefile on the fly.

2026-08-11 17:06:57 +02:00
parent 051cce6e33
commit d8f2710507
7 changed files with 250 additions and 18 deletions
@@ -22,6 +22,7 @@
        (dgit 'push))

 (target status
+        (displayln "git status:")
        (void (dgit 'status))
        )