build: Declare “doc/guix.texi“ dependencies.

Fixes <https://bugs.gnu.org/29727>.

* doc/local.mk (%C%_guix_TEXINFOS): New variable containing files included by
“doc/guix.texi”.
(EXTRA_DIST): Remove ‘.texi’ files.

Signed-off-by: Ludovic Courtès <ludo@gnu.org>

gnu: certbot: Update to 0.21.0.

* gnu/packages/tls.scm (certbot): Update to 0.21.0.
(python-acme): Update to 0.21.0.
[propagated-inputs]: Add python-josepy.

gnu: Add python-josepy.

* gnu/packages/python-crypto.scm (python-josepy, python2-josepy): New variables.

gnu: libvirt: Update to 4.0.0.

* gnu/packages/virtualization.scm (libvirt): Update to 4.0.0.
[arguments]: Substitute INVOKE for SYSTEM*.

gnu: Consistently Write ‘file system(s)’.

It is the GNU way.

* doc/guix.texi (Build Systems, DNS Services): Write ‘file system(s)’.
* gnu/build/vm.scm (create-ext-file-system, create-fat-file-system):
Likewise.
* gnu/packages/backup.scm (dirvish, rsnapshot)[description]: Likewise.
* gnu/packages/check.scm (python-testpath)[description]: Likewise.
* gnu/packages/disk.scm (pydf)[description]: Likewise.
* gnu/packages/file-systems.scm (disorderfs)[synopsis, description]: Likewise.
(glusterfs)[description]: Likewise.
* gnu/packages/haskell.scm (ghc-directory, ghc-system-fileio-bootstrap)
(ghc-system-fileio)[synopsis]: Likewise.
(ghc-fsnotify)[description]: Likewise.
* gnu/packages/linux.scm (proot)[description]: Likewise.
(jmtpfs)[synopsis, description]: Likewise.
* gnu/packages/mate.scm (caja, caja-extensions)[description]: Likewise.
* gnu/packages/storage.scm (ceph)[description]: Likewise.
* gnu/packages/sync.scm (lsyncd)[description]: Likewise.
* gnu/packages/syncthing.scm (syncthing)[synopsis]: Likewise.
(go-github-com-zillode-notify)[description]: Likewise.
* gnu/services/nfs.scm (pipefs-service-type): Likewise.
* guix/scripts/system.scm (perform-action): Likewise.

gnu: unbound: Update to 1.6.8 [fixes CVE-2017-15105].

* gnu/packages/dns.scm (unbound): Update to 1.6.8.

gnu: libvpx: Use HTTPS for home page.

* gnu/packages/video.scm (libvpx)[home-page]: Use HTTPS.

gnu: ninja: Update to 1.8.2.

* gnu/packages/ninja.scm (ninja): Update to 1.8.2.
[source]: Remove upstreamed patch.
[arguments]: Substitute INVOKE for SYSTEM*.  Use standard indentation.
* gnu/packages/patches/ninja-zero-mtime.patch: Delete file.
* gnu/local.mk (dist_patch_DATA): Remove it.

gnu: tcc: Update to 0.9.27.

* gnu/packages/c.scm (tcc): Update to 0.9.27.
[license]: Add a comment about attempted Expat re-licencing.

gnu: minixml: Update to 2.11.

* gnu/packages/xml.scm (minixml): Update to 2.11.
[source]: Use URL-FETCH/TARBOMB method.
[arguments]: Add ‘fix-permissions’ phase.

gnu: libebml: Update to 1.3.5.

* gnu/packages/xml.scm (libebml): Update to 1.3.5.
[source, home-page]: Update URI.

gnu: wine: Parameterize version string in uri.

* gnu/packages/wine.scm (wine)[source]: Replace hard-coded version
string with parameterized version.

gnu: xpra: Update to 2.2.3.

* gnu/packages/xorg.scm (xpra): Update to 2.2.3.

gnu: lz4: Update to 1.8.1.2.

* gnu/packages/compression.scm (lz4): Update to 1.8.1.2.

gnu: mdds: Update to 1.3.1.

* gnu/packages/boost.scm (mdds): Update to 1.3.1.

gnu: rdup: Update to 1.1.15.

* gnu/packages/backup.scm (rdup): Update to 1.1.15.
[source]: Use new URI.  Remove snippet.
[native-inputs]: Add autoconf and automake.
[inputs]: Add mcrypt.
[arguments]: Add ‘bootstrap’ and ‘qualify-inputs’ phases.
Remove ‘remove-Werror’ phase.
[home-page]: Use apparent new (and HTTPS) home page.

gnu: testdisk: Use HTTPS for home page.

* gnu/packages/admin.scm (testdisk)[home-page]: Use HTTPS.

gnu: stress: Update to 1.0.4.

* gnu/packages/admin.scm (stress): Update to 1.0.4.

gnu: stress: Use newer and HTTPS home page.

* gnu/packages/admin.scm (stress)[home-page]: Use HTTPS and ‘sid’ code
name, which is more up to date and will remain so.

gnu: gmp: Edit description.

* gnu/packages/multiprecision.scm (gmp)[description]: Edit.
Define GMP.