diff options
| author | Thomas Wood <thomas.wood@intel.com> | 2015-06-29 11:03:39 +0100 |
|---|---|---|
| committer | Thomas Wood <thomas.wood@intel.com> | 2015-07-02 08:17:17 +0100 |
| commit | 5d80872009d4f3509e7e2b7a236b27d5002aff15 (patch) | |
| tree | ce4deaf707d17e20ec922e0fc6083533288c54eb /docs | |
| parent | 614895fec12a66376167c23294157a8f69014e54 (diff) | |
docs: override section id to avoid '/' in filenames
The section id is generated from the section title and is used to create
the html output filename, which therefore causes problems if it includes
a '/' character.
Cc: Damien Lespiau <damien.lespiau@intel.com>
Signed-off-by: Thomas Wood <thomas.wood@intel.com>
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions