From 9a1bd70c3626540b32015eff612bd4a9c6294589 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dominik=20Pant=C5=AF=C4=8Dek?=
 <dominik.pantucek@trustica.cz>
Date: Sat, 1 Apr 2023 10:17:52 +0200
Subject: [PATCH] Streamline makefiles.

---
 Makefile     | 4 ++++
 src/Makefile | 3 ---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/Makefile b/Makefile
index 3dc3680..79cc4f9 100644
--- a/Makefile
+++ b/Makefile
@@ -26,3 +26,7 @@
 .PHONY: default
 default:
 	@make -C src
+
+.PHONY: static
+static:
+	@make -C src static
diff --git a/src/Makefile b/src/Makefile
index f12a832..999b3fa 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -29,9 +29,6 @@ default: imports
 .PHONY: static
 static: bbstool
 
-.PHONY: all
-all: imports static
-
 CSC=csc
 
 BBSTOOL-DEPS=bbstool.scm testing.import.scm listing.import.scm		\