From 2dee8159f6c3812c2df73bae5d508af00d84da51 Mon Sep 17 00:00:00 2001 From: Shulhan Date: Mon, 29 Dec 2025 18:19:22 +0700 Subject: [DO-NO-MERGE] Add local Makefile I always forgot how to build and install it on my local. --- Makefile.local | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 Makefile.local (limited to 'Makefile.local') diff --git a/Makefile.local b/Makefile.local new file mode 100644 index 0000000000..f93532b75d --- /dev/null +++ b/Makefile.local @@ -0,0 +1,4 @@ +.PHONY: all +all: + $(MAKE) prefix=$$HOME/local/git all doc + $(MAKE) prefix=$$HOME/local/git install install-doc install-html -- cgit v1.3