commit | 276e369813f100562c3e22020635552edfb722a2 | [log] [tgz] |
---|---|---|
author | Orivej Desh <orivej@gmx.fr> | Tue Jun 12 01:14:10 2018 +0000 |
committer | Brad King <brad.king@kitware.com> | Tue Jun 12 10:25:37 2018 -0400 |
tree | 8df0588a5b93781d3c714ad20f3a4cc605b65ddb | |
parent | 90ebc32d9e7400a590973b30c99f2986bcb2b755 [diff] |
Utilities/Sphinx: Add option to build and install Info manual Add option `SPHINX_INFO` to enable the Sphinx 'texinfo' builder and use the `makeinfo` tool to convert it to a `.info` file.