| commit | 4031da8c92e56c182b054f38af1107eb2d24d244 | [log] [tgz] |
|---|---|---|
| author | David B. Kinder <david.b.kinder@intel.com> | Mon Feb 06 09:51:15 2017 -0800 |
| committer | Anas Nashif <nashif@linux.intel.com> | Wed Feb 08 13:16:40 2017 +0000 |
| tree | d68915ccd4fa70f6dff41719bfee2d51f9de7ae8 | |
| parent | f9733e492dd6df4a6deb71c43aaaf8af8ba7b801 [diff] |
doc: add permalinks to document headings Permalinks make it much easier to create html links to specific sections in a document (you over over the section heading and an icon appears that you can click on to get a reference link directly to that section). Change-Id: I905449158f834783b9df6c04bf5fa3e5f245b3fd Signed-off-by: David B. Kinder <david.b.kinder@intel.com>