From 94ee4f0831ad0c3de5eabd821a8bd42c86571a30 Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 31 Oct 2023 21:55:53 +0100
Subject: [PATCH] Makefile: Include Makefile.local if it exists.

This provides a way to support local recipes.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 97d135a..ac9656e 100644
--- a/Makefile
+++ b/Makefile
@@ -151,4 +151,4 @@ clean:
 distclean: clean
 	$(RM) *.lsg.c *.lsg.h lopsubgen.c config_file.c lopsubgen-stage1 \
 		lopsub.h lopsub.7 lopsub-suite.5 version.c
-
+-include Makefile.local
-- 
2.39.5