From 7ef77ec0054b3b4ef3cfee6ef97c43c01965be88 Mon Sep 17 00:00:00 2001 From: Adam Dinwoodie Date: Sat, 15 Feb 2025 21:19:03 +0000 Subject: [PATCH] git-gui: sync Makefiles with git.git In git.git, commit 5309c1e9fb39 (Makefile: set default goals in makefiles, 2025-02-15) touched two Makefiles in the git-git/ directory. Import these changes, so that the trees can converge again with the next merge of this repository into git.git. Reported-by: Johannes Schindelin Signed-off-by: Johannes Sixt --- Makefile | 1 + po/glossary/Makefile | 3 +++ 2 files changed, 4 insertions(+) diff --git a/Makefile b/Makefile index 6385db4439..69b0b84435 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,4 @@ +# The default target of this Makefile is... all:: # Define V=1 to have a more verbose compile. diff --git a/po/glossary/Makefile b/po/glossary/Makefile index 749aa2e7ec..e656b0d2b0 100644 --- a/po/glossary/Makefile +++ b/po/glossary/Makefile @@ -1,3 +1,6 @@ +# The default target of this Makefile is... +update-po:: + PO_TEMPLATE = git-gui-glossary.pot ALL_POFILES = $(wildcard *.po)