diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2018-11-29 15:56:49 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2018-11-29 15:56:49 +0100 |
| commit | 25ca46985ccb26880f98b479d2a3ac862b20006e (patch) | |
| tree | b52670028a36c5815f16311438c4c5f1f0f3e759 /po/doc/local.mk | |
| parent | e2b9ed7fcc019df290f0f5bbe221803efb031123 (diff) | |
| parent | 7af6e5daa4ffb1bbda48a4e990815066f21bdadc (diff) | |
| download | guix-25ca46985ccb26880f98b479d2a3ac862b20006e.tar guix-25ca46985ccb26880f98b479d2a3ac862b20006e.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'po/doc/local.mk')
| -rw-r--r-- | po/doc/local.mk | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/po/doc/local.mk b/po/doc/local.mk index 3d3b4f67b1..6b934d945a 100644 --- a/po/doc/local.mk +++ b/po/doc/local.mk @@ -16,11 +16,14 @@ # You should have received a copy of the GNU General Public License # along with GNU Guix. If not, see <http://www.gnu.org/licenses/>. -EXTRA_DIST = \ - %D%/guix-manual.pot \ +DOC_PO_FILES= \ %D%/guix-manual.de.po \ %D%/guix-manual.fr.po +EXTRA_DIST = \ + %D%/guix-manual.pot \ + $(DOC_PO_FILES) + POT_OPTIONS = --package-name "guix" --package-version "$(VERSION)" \ --copyright-holder "Ludovic Courtès" \ --msgid-bugs-address "ludo@gnu.org" @@ -58,3 +61,8 @@ doc-pot-update: done msgcat $(addprefix $(srcdir)/po/doc/, $(TMP_POT_FILES)) > $(srcdir)/po/doc/guix-manual.pot rm -f $(addprefix $(srcdir)/po/doc/, $(TMP_POT_FILES)) + +doc-po-update: doc-pot-update + for f in $(DOC_PO_FILES); do \ + $(MAKE) "$$f"; \ + done |