diff options
author | Julien Lepiller <julien@lepiller.eu> | 2018-04-29 21:38:17 +0200 |
---|---|---|
committer | Julien Lepiller <julien@lepiller.eu> | 2018-04-29 21:42:14 +0200 |
commit | 39764ef893b7b65a8ce55e13746fed8fd0bad6e0 (patch) | |
tree | 0b40a0ef564771903e9ebde2a214cc24f2bcb660 /Makefile.am | |
parent | adc61d72448de550614b71f120dc5b3a340f6dc0 (diff) | |
download | guix-39764ef893b7b65a8ce55e13746fed8fd0bad6e0.tar guix-39764ef893b7b65a8ce55e13746fed8fd0bad6e0.tar.gz |
build: Use only one domain for guix-manual.
* Makefile.am (assert-no-store-file-names): Exclude guix-manual.
* po/doc/guix.pot po/doc/contributing.pot: Merge into...
* po/doc/guix-manual.pot: ...this.
* po/doc/guix.fr.po po/doc/contributing.fr.po: Merge into...
* po/doc/guix-manual.fr.po: ...this.
* doc/local.mk: Replace old file names.
* po/doc/local.mk: Replace old file names.
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index 9f134c9708..7ea9228881 100644 --- a/Makefile.am +++ b/Makefile.am @@ -740,6 +740,7 @@ assert-no-store-file-names: $(distdir)/ChangeLog $(AM_V_at)if grep -r --exclude=*.texi --exclude=*.info \ --exclude=*.info-[0-9] --exclude=*.dot \ --exclude=*.eps --exclude-dir=bootstrap \ + --exclude=guix-manual.pot --exclude=guix-manual.*.po \ --exclude=guix-prettify.el \ --exclude=ChangeLog \ -E "$(storedir)/[a-z0-9]{32}-" $(distdir) ; \ |