diff options
| author | Paul Beesley <paul.beesley@arm.com> | 2019-05-17 11:45:36 +0100 |
|---|---|---|
| committer | Paul Beesley <paul.beesley@arm.com> | 2019-05-30 11:11:35 +0100 |
| commit | c4e4df35d0413693901e351bb0d668c10ce9cfaa (patch) | |
| tree | 0e5a969e44e4c18d10a90d0232917b172df359b5 /lib/psci | |
| parent | 84167417db275b8fd529dae7a4cf87ab8c41a414 (diff) | |
doc: Enable automatic labels for page titles
Automatic labelling of document titles is a prerequisite for
converting the format of cross-document links. Sphinx will
generate (via the enabled extension) a hidden link target for
each document title and this can be referred to later, from
another page, to link to the target.
The plugin options being used require Sphinx >= 2.0.0 so a
requirements.txt file has been added. This file is used with
the pip package manager for Python so that the correct
dependencies are installed.
Change-Id: Ic2049db5804aa4a6447608ba4299de958ce0a87d
Signed-off-by: Paul Beesley <paul.beesley@arm.com>
Diffstat (limited to 'lib/psci')
0 files changed, 0 insertions, 0 deletions