Sebastian Huber 5d7921bebc 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.
2019-08-14 07:27:00 +02:00
..
2016-05-02 20:51:24 -04:00
2016-05-02 20:51:24 -04:00
2019-07-24 10:50:18 +02:00