diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-08-13 07:18:59 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2019-08-14 07:27:00 +0200 |
commit | 5d7921bebc1d01bdd1b1114829d97cd8c3ac1368 (patch) | |
tree | b3e82f311a92dd709a6dc65be7c5f6b90ce73d2e /user | |
parent | user: Update bug reporting section (diff) | |
download | rtems-docs-5d7921bebc1d01bdd1b1114829d97cd8c3ac1368.tar.bz2 |
common: Show page references after internal links
The custom RTEMS extension produced quite verbose references like
"Chapter 3 - Section 7 - Bla blub". This may distract the reading flow.
Use a standard Sphinx option to show page references instead, e.g. "Bla
blub (page 11)". This has some value for printed out documents.
Diffstat (limited to 'user')
0 files changed, 0 insertions, 0 deletions