Sebastian Huber
c1dddacbee
Move extensions to common conf.py
2017-02-22 07:09:21 +01:00
Sebastian Huber
b033e3960b
c-user: Add SMP application issues section
2017-02-02 10:46:05 +01:00
Sebastian Huber
7b1c63cf91
c-user: Update clustered scheduling
2017-02-02 09:43:47 +01:00
Sebastian Huber
3966353b33
Do not show page references after internal links
2017-02-01 09:48:31 +01:00
Sebastian Huber
5dcebd4f62
Fix refs.bib entries
2017-02-01 07:58:30 +01:00
Sebastian Huber
8add1793d2
c-user: Add Key concept locking protocols
...
Update #2412 .
Update #2556 .
2017-02-01 07:58:30 +01:00
Sebastian Huber
938c49e177
Fix refs.bib entry
2017-01-31 14:30:09 +01:00
Sebastian Huber
a17535d222
c-user: Add timer and timeouts key concept
...
Update #2554 .
2017-01-30 13:52:23 +01:00
Sebastian Huber
73ad65dff0
refs.bib: Add URL
2017-01-30 08:11:37 +01:00
Kuan-Hsun Chen
c660173fa4
c-user: Update overrun handling related functions and structure
...
State the limited count of postponed_jobs.
Update _rtems_rate_monotonic_get_status() and related structure.
Move "Further Reading" in c-user to references.
Add mentioned papers in ticket #2795 to references.
Update #2795 .
2017-01-30 07:58:27 +01:00
Sebastian Huber
0456ee759a
Fix some reference titles
2017-01-25 08:36:41 +01:00
Sebastian Huber
f5e8e8068f
Sort references
2017-01-25 08:26:39 +01:00
Sebastian Huber
97e1553c06
c-user: Add support for references via bibtex
...
https://sphinxcontrib-bibtex.readthedocs.io/en/latest/index.html
Update #2871 .
2017-01-18 11:31:46 +01:00
Chris Johns
7956bbffef
coverpage: Remove used function.
2017-01-12 13:20:48 +11:00
Chris Johns
321d20a02d
coverpage: Make showing the table conditional.
2017-01-12 13:18:43 +11:00
Chris Johns
bceb2860b7
coverpage: Rename the static images directory to match bootstrap.
2017-01-12 13:11:34 +11:00
Chris Johns
9eb8a437bd
coverpage: Fix the catalogue table id.
2017-01-12 13:07:13 +11:00
Chris Johns
049097fc80
coverpage: Update the coverpage to have the table collapse.
...
Add each doc's conf.py as a dependence to catalogue.xml.
2017-01-12 12:56:13 +11:00
Justin Powell
876035b7bd
conf.py: Fix build_date() to append correct suffix on all days.
2017-01-11 19:24:46 -06:00
Chris Johns
2591ca6390
html: Embed the catalogue XML in JS.
...
The is to work around a security issue with Chrome on Windows. This
patches let the cover page load on Chrome and Edge on Windows 10.
2017-01-11 17:04:02 +11:00
Chris Johns
ecf82d1b3d
html: Add support for an HTML cover page for releases.
2017-01-11 15:56:04 +11:00
Chris Johns
9aa52b9130
waf: Add a title to the XML Catalogue.
2017-01-10 22:34:47 +11:00
Chris Johns
782b4fec71
waf: Improved XML Catalogue generator.
2017-01-10 10:11:05 +11:00
Chris Johns
1a9b02e20d
waf: Create an XML Catalogue.
2017-01-09 23:13:02 +11:00
Chris Johns
9330bfbaa7
waf: Users without the extra fonts need to use '--disable-extra-fonts' to build PDF.
2016-11-09 17:08:05 +11:00
Chris Johns
a91dd5c695
latex: Increase the depth of subsections.
2016-11-09 11:42:30 +11:00
Chris Johns
227aaea494
waf: Get a copy of the optional packages.
2016-11-08 16:08:54 +11:00
Chris Johns
2fdbc9826f
waf: Use the good fonts if installed.
2016-11-08 15:58:58 +11:00
Chris Johns
daea85e3b2
pdf: Format lists for directives to sit on the next line.
2016-11-08 15:28:32 +11:00
Chris Johns
5a7280afd7
PDF: Do not use lato and inconsolata fonts. Not widely supported.
2016-11-07 11:18:04 +11:00
Chris Johns
ea91103855
waf: Add a program test for pygmentize.
2016-11-07 10:33:17 +11:00
Christian Mauderer
b6272bbd56
waf: Fix ''NoneType' object is not iterable'
2016-11-07 10:05:13 +11:00
Chris Johns
25c0a23445
waf: Fix the host version check.
2016-11-06 12:40:41 +11:00
Chris Johns
8330198edc
waf: Add support to handle missing Latex packages on hosts they are not available on.
...
It appears the support for texlive packages on some hosts is variable. This patch
lets us add missing packages to our source tree so a PDF can be built on
those hosts. The quality of the PDFs created may vary as some short cuts may
have been take. For example lato is a font and only the sty file as been added
and not the actual font which means it's use will default to another font.
2016-11-06 12:02:47 +11:00
Chris Johns
74194f7538
waf: Check for texlive packages and report an error is not found.
2016-11-04 16:22:42 +11:00
Chris Johns
9024cfbc7f
waf: Fix the bnode issue when building in a manual directory.
2016-11-04 08:44:37 +11:00
Chris Johns
6207c37d9c
waf: Use separate doctrees so avoid sphinx clashes.
2016-11-03 15:22:49 +11:00
Chris Johns
d3226d3d09
pdf: Make the copyright the same as the html.
2016-11-03 14:42:34 +11:00
Chris Johns
64a3db7073
conf: Make the build date use a nicer day format.
2016-11-03 14:41:39 +11:00
Chris Johns
0bc9c6d3de
waf: Have configure set building pdf and/or singlehtml.
...
Move selecting pdf and singlehtml to the configure stage so it
is sticky for all builds. This means a top level build will always
build all formats that have been configured.
Do not complete the configure stage if tools are missing for the
configured output.
Add singlehtml support using the inliner tool. It is nice.
Remove the groups as waf can track the dependences. This lets the
manuals build in parallel.
2016-11-03 14:30:47 +11:00
Chris Johns
ce4daf9fd9
Add a copyright to the PDF front page.
2016-11-02 16:34:32 +11:00
Chris Johns
75e787d4a0
html: Update the CSS and add topics.
2016-11-02 12:08:27 +11:00
Chris Johns
8f2a4f3959
waf: Fix the sphinx verbose option.
2016-11-02 12:07:50 +11:00
Chris Johns
dd43d0b0f8
waf: Add an install command.
2016-10-31 08:48:35 +11:00
Chris Johns
f529417387
waf: Add top build support.
2016-10-30 12:36:30 +11:00
Chris Johns
761b082f37
waf: Add a build date to the copyright.
2016-10-30 12:36:30 +11:00
Chris Johns
f3a7c9641b
waf: Update to support a recent waf.
2016-10-29 04:16:38 +11:00
Joel Sherrill
be428d186c
common/waf.py: Improve Sphinx version parsing to work with their git master
2016-10-27 18:03:34 -05:00
Chris Johns
a545490518
waf: Fix for waf-1.9.3.
2016-09-09 14:08:48 +10:00
Chris Johns
f92357f36e
Make the Warning colours match the theme.
2016-07-04 12:30:34 +10:00
