diff options
| author | Shulhan <ms@kilabit.info> | 2025-12-29 18:19:22 +0700 |
|---|---|---|
| committer | Shulhan <ms@kilabit.info> | 2026-04-09 19:00:06 +0700 |
| commit | 2dee8159f6c3812c2df73bae5d508af00d84da51 (patch) | |
| tree | 5f6c222fed2a172f08800355d79ce4d14ed1c4b4 | |
| parent | c6be4c61ed2f6baa4d3936d5d29a6bc1be2051ae (diff) | |
| download | git-2dee8159f6c3812c2df73bae5d508af00d84da51.tar.xz | |
[DO-NO-MERGE] Add local Makefile
I always forgot how to build and install it on my local.
| -rw-r--r-- | Makefile.local | 4 |
1 files changed, 4 insertions, 0 deletions
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 |