Thomas Wood 5d80872009 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>
2015-07-02 08:17:17 +01:00
..
2014-07-23 16:43:05 +01:00
2015-04-22 18:00:42 +01:00
2014-12-04 10:17:16 +08:00
2013-12-05 15:32:42 -08:00
2014-02-20 13:42:25 +00:00
2011-03-29 22:52:50 +02:00
2015-05-14 17:00:40 +01:00
2015-04-14 17:44:34 +01:00
2015-02-25 16:59:22 +00:00
2015-04-16 16:49:46 +03:00
2015-07-01 18:58:46 +01:00
2015-07-01 18:58:46 +01:00
2014-12-04 10:17:16 +08:00
2014-12-04 10:17:16 +08:00
2015-03-25 17:52:11 +00:00
2015-03-25 17:52:11 +00:00