summaryrefslogtreecommitdiffstats
path: root/doc/user/example.texi
diff options
context:
space:
mode:
authorJoel Sherrill <joel.sherrill@oarcorp.com>2013-02-22 13:43:12 -0600
committerJoel Sherrill <joel.sherrill@oarcorp.com>2013-02-26 08:03:57 -0600
commit0c59b4bb83ec68cf498f6ebaa5d3ee806c03ed32 (patch)
treed404f287c735bfb38a9c025eb0a5002a801464b4 /doc/user/example.texi
parent94ca0708a2c3151fe7e92f97bb4ebeb65cb029c9 (diff)
downloadrtems-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 '')
0 files changed, 0 insertions, 0 deletions