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
```
