git/git-gui/po/glossary
Adam Dinwoodie 5309c1e9fb Makefile: set default goals in makefiles
Explicitly set the default goal at the very top of various makefiles.
This is already present in some makefiles, but not all of them.

In particular, this corrects a regression introduced in a38edab7c8
(Makefile: generate doc versions via GIT-VERSION-GEN, 2024-12-06).  That
commit added some config files as build targets for the Documentation
directory, and put the target configuration in a sensible place.
Unfortunately, that sensible place was above any other build target
definitions, meaning the default goal changed to being those
configuration files only, rather than the HTML and man page
documentation.

Signed-off-by: Adam Dinwoodie <adam@dinwoodie.org>
Helped-by: Junio C Hamano <gitster@pobox.com>
Acked-by: Patrick Steinhardt <ps@pks.im>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
2025-02-18 09:02:26 -08:00
..
Makefile Makefile: set default goals in makefiles 2025-02-18 09:02:26 -08:00
bg.po git-gui 0.19.0 2014-01-21 13:16:17 -08:00
de.po Merge https://github.com/prati0100/git-gui 2020-03-19 16:06:51 -07:00
el.po
fr.po
git-gui-glossary.pot Merge https://github.com/prati0100/git-gui 2020-03-19 16:06:51 -07:00
git-gui-glossary.txt Merge https://github.com/prati0100/git-gui 2020-03-19 16:06:51 -07:00
it.po
pt_br.po Merge git-gui 0.14.0 2011-03-26 10:42:35 -07:00
pt_pt.po Merge branch 'va/i18n' of ../git-gui into va/git-gui-i18n 2016-09-26 07:19:57 -07:00
txt-to-pot.sh git-gui/po/glossary/txt-to-pot.sh: use the $( ... ) construct for command substitution 2015-12-27 15:33:13 -08:00
zh_cn.po