diff options
| author | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:55:03 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2018-08-21 13:55:03 +1000 |
| commit | 471c5e380f856b1151e87fb61028a4448793e983 (patch) | |
| tree | 3d57ec2d3147e195f7c14a417181bcc44e27acde /common/waf.py | |
| parent | build: Fix indexing so it works on HTML and PDF. (diff) | |
| download | rtems-docs-471c5e380f856b1151e87fb61028a4448793e983.tar.bz2 | |
pdf: Revert the changes to the Latex index formatting.
I removed the '_' splitting of long labels from the index when testing
and this puts it back.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions