diff options
author | Ludovic Courtès <ludo@gnu.org> | 2016-01-21 00:20:36 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2016-01-21 00:22:34 +0100 |
commit | aca738f3c655a63c31de7e568b628c7d81b8c48f (patch) | |
tree | f1aa140eace29f72fd7656dd058c20fc29a7306e /.gitignore | |
parent | 5d94ac519225e5a79d33701ee9cb5d567f3e5118 (diff) |
doc: Explain how to make the Info manual visible.
Suggested by David Thompson <dthompson2@worcester.edu>
at <http://bugs.gnu.org/22402>.
* doc/guix.texi (Binary Installation): Explain how to make the Info
manual visible.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions