Subject: bug#34467: Missing prerequisites to make doc/guix.info

From: Daniel Gerber <[email-masked]>
Date: Wed, 13 Feb 2019 13:56:24 +0100

>From a clean checkout of f6f4370f, my system fails to make 
doc/guix.info:

``` $ make dist-info 
  MAKEINFO doc/guix.info 
./doc/guix.texi:9821: @include: could not find 
os-config-bare-bones.texi ./doc/guix.texi:9962: @include: could 
not find os-config-desktop.texi ./doc/guix.texi:9969: @include: 
could not find os-config-lightweight-desktop.texi make: *** 
[Makefile:3770: doc/guix.info] Error 1 ```

Making those targets manually works fine:

```
$ make doc/os-config-bare-bones.texi doc/os-config-desktop.texi 
doc/os-config-lightweight-desktop.texi
```