diff options
author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2013-02-22 13:43:12 -0600 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2013-02-26 08:03:57 -0600 |
commit | 0c59b4bb83ec68cf498f6ebaa5d3ee806c03ed32 (patch) | |
tree | d404f287c735bfb38a9c025eb0a5002a801464b4 /doc/user/example.texi | |
parent | doc: Support texi2any and texi2html (diff) | |
download | rtems-0c59b4bb83ec68cf498f6ebaa5d3ee806c03ed32.tar.bz2 |
doc: Use More Readable Names for Generated Nodes
Per a discussion with the GNU Texinfo maintainer Patrice Dumas,
change to generating HTML files per a standard for stable URL
names and easier cross manual referencing.
http://lists.gnu.org/archive/html/help-texinfo/2013-02/msg00002.html
Diffstat (limited to 'doc/user/example.texi')
0 files changed, 0 insertions, 0 deletions