From 6c6c6a0f99b1bed83f3eb1cf39cc71e0597c9ef0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Steffen=20M=C3=B6ller?= Date: Sun, 21 Aug 2022 18:42:12 +0200 Subject: [PATCH] Makefile.in: cleandist -> distclean --- Makefile.in | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile.in b/Makefile.in index f37efc8..922b177 100644 --- a/Makefile.in +++ b/Makefile.in @@ -43,7 +43,7 @@ $(lib_so): $(obj) clean: rm -f $(obj) -.PHONY: cleandist +.PHONY: distclean distclean: rm -f $(obj) $(lib_a) $(lib_so) Makefile