Commit message (Collapse) | Author | Files | Lines | ||
---|---|---|---|---|---|
2024-02-21 | sphinx: Use the pip installed sphinx-rtd-theme | Chris Johns | 43 | -3960/+40 | |
- Remove the RTEMS version of the theme - Use conf.py to specify our style sheet - Depend on the jQuery contrib package for including jQuery - Detect the theme is installed Closes #4994 | |||||
2023-12-20 | sphinx/style: Fix building with the latest sphinx | Chris Johns | 2 | -4/+6 | |
Tested on sphinx 7.2, 6.1.3 AND 5.3.0 Closes #4980 | |||||
2023-11-09 | eng: Add formal verification chapter | Andrew Butterfield | 1 | -0/+75 | |
2023-07-25 | common/waf.py: Add option to check maximum Sphinx version | Joel Sherrill | 1 | -3/+14 | |
Updates #4928. | |||||
2023-07-25 | layout.html: Revert patch forcing Spinx to >= 6.0 | Joel Sherrill | 1 | -2/+0 | |
Unfortunately, updating past Sphinx 5.x results in unordered bullet lists not formatting correctly as show in a screen capture attached to #4928. Revert this patch until the issue is resolved and output is reviewed for other potential issues. From: Utkarsh Verma <utkarsh@bitbanged.com> Date: Wed, 14 Jun 2023 05:36:26 +0000 Subject: [PATCH] eng: Fix builds for newer Sphinx versions (>=7) The current Sphinx theme depends on the `style` parameter which got deprecated in v5.1 and finally got removed in v7. Now, the `styles` key should be preferred which is a list of stylesheets. This commit implements this change. Updates #4915. Updates #4928. | |||||
2023-06-14 | eng: Fix builds for newer Sphinx versions (>=7) | Utkarsh Verma | 1 | -0/+2 | |
The current Sphinx theme depends on the `style` parameter which got deprecated in v5.1 and finally got removed in v7. Now, the `styles` key should be preferred which is a list of stylesheets. This commit implements this change. Closes #4915 | |||||
2023-05-20 | Update company name | Sebastian Huber | 2 | -2/+2 | |
The embedded brains GmbH & Co. KG is the legal successor of embedded brains GmbH. | |||||
2022-12-07 | waf: Handle the enable options for singlehtml and ditaa/puml | Chris Johns | 1 | -3/+3 | |
Close #4756 | |||||
2022-08-12 | pdf: Set TEXINPUTS to the tex source path | Chris Johns | 1 | -1/+4 | |
2022-08-03 | building: Add support for an RTEMS version number | Chris Johns | 3 | -27/+54 | |
- Support using a version number for RTEMS documentation Updates #4695 | |||||
2021-11-11 | Update jQuery from 1.12.4 to 3.6.0. | Amar Takhar | 1 | -5/+2 | |
Identified by security scans. | |||||
2021-05-21 | Fix the bibtex extension configure test | Chris Johns | 1 | -2/+4 | |
2021-05-21 | Fix the linux specific include | Chris Johns | 1 | -4/+4 | |
2021-03-30 | common/latex.py: use distro module for python3.5 and up | Vijay Kumar Banerjee | 1 | -2/+5 | |
2021-02-18 | common/waf: fix some typos | Gedare Bloom | 1 | -3/+3 | |
2021-02-18 | common: use bibtex_bibfiles for newer bibtex | Gedare Bloom | 2 | -1/+6 | |
Closes #4229. | |||||
2020-09-13 | common: Enable numfig role | Sebastian Huber | 1 | -0/+3 | |
2020-08-07 | common: Fix pale color of HTML definition terms | Sebastian Huber | 1 | -1/+0 | |
2020-07-08 | common: Remove probably superfluous import | Sebastian Huber | 1 | -1/+0 | |
The purpose of this import is unclear. This import caused the following error with Sphinx 3.0: Extension error: Could not import extension rtemsdomain (exception: cannot import name 'l_') | |||||
2020-04-04 | common: fix title page | Gedare Bloom | 2 | -1/+2 | |
Sphinx changed the default behavior of maketitle. Provide our own rtemsmaketitle command and use it instead. | |||||
2020-04-03 | waf: User friendly message when no sphinx is installed | Chris Johns | 1 | -0/+3 | |
2020-03-13 | waf: Get the version numbers from the version file. | Chris Johns | 3 | -5/+40 | |
2020-03-13 | sphinx: Add a custom highlight colour | Chris Johns | 1 | -0/+5 | |
Update #2998 | |||||
2020-02-26 | Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/ | Amar Takhar | 55 | -1039/+3679 | |
68a19ca / 0.4.3.dev0. I have been using this one for a while without issues. This should fix the search issues. closes #3880 | |||||
2020-02-04 | Revert "common: Add URLs to manuals" | Sebastian Huber | 1 | -13/+1 | |
This reverts commit 1fdd3cf83d154af66ad0edf5094d93075063c7e0 and some follow up changes. | |||||
2020-01-07 | common: Add URLs to manuals | Sebastian Huber | 1 | -1/+13 | |
2019-10-29 | waf/common: Fix UTF-8 encoding of HTML inliner output on Python3. | Chris Johns | 1 | -5/+13 | |
2019-08-14 | common: Show page references after internal links | Sebastian Huber | 2 | -59/+1 | |
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-05 | common: Align "Build Logs" with other list names | Sebastian Huber | 1 | -1/+1 | |
2019-07-24 | refs: Update EARS references | Sebastian Huber | 1 | -2/+20 | |
2019-07-23 | refs: Add ECSS standard references | Sebastian Huber | 1 | -0/+51 | |
Add the ECSS standards in a separate block. Use a custom label scheme to make citations easier. | |||||
2019-07-23 | refs: Replace non-ASCII character | Sebastian Huber | 1 | -1/+1 | |
2019-07-11 | common: Add references | Sebastian Huber | 1 | -0/+49 | |
2019-06-21 | c-user: Add RTEID and ORKID references | Sebastian Huber | 1 | -0/+18 | |
2019-03-01 | waf: Fix argument bug getting extra source. | Chris Johns | 1 | -1/+1 | |
2019-02-28 | waf: Add support for extra and excluded sources. | Chris Johns | 1 | -14/+32 | |
2019-02-28 | waf: Change --sphinx-verbose to --sphinx-options, add --sphinx-nit-pick | Chris Johns | 1 | -13/+28 | |
Provide options to manage sphinx. Make using the nit-picky mode simpler to access. | |||||
2019-02-28 | Add unicode support for commonly used characters like copyright. | Chris Johns | 1 | -0/+5 | |
- This change makes the copyright character easier to see on editors lacking good unicode rendering support, ie terminals. | |||||
2019-02-28 | waf: Fix building the images in the src path. | Chris Johns | 1 | -2/+1 | |
2019-02-15 | Use pathto() on the genindex URL to make it relative. | Chris Johns | 1 | -1/+1 | |
2019-02-13 | common/latex.py: Remove hack for CentOS. Use Texlive per instructions. | Joel Sherrill | 1 | -8/+0 | |
2019-02-14 | waf: Use the release date in the coverpage | Chris Johns | 1 | -2/+2 | |
2019-02-13 | waf: Fix version.py to support older versions of git. | Chris Johns | 1 | -17/+34 | |
2019-02-13 | Remove minted from the PDF builds. | Chris Johns | 3 | -1518/+2 | |
This is feedback from the Sphinx project. See: https://github.com/sphinx-doc/sphinx/issues/6021#issuecomment-460951653 | |||||
2019-02-07 | Fix the version logic to make it more robust. | Chris Johns | 1 | -1/+4 | |
2019-02-06 | Fix building with Sphinx 1.8 and later. | Chris Johns | 2 | -14/+33 | |
- Provide the pytnon.ist file for makeindex. - Add support for xelatex building so we can switch if we want too. Closes #3669 | |||||
2019-02-06 | Support VERSION file for releasing and deployment | Chris Johns | 1 | -0/+150 | |
- Shorten the GIT hash. | |||||
2019-01-18 | Change first copyright year to 1988 | Sebastian Huber | 1 | -1/+1 | |
The OAR copyright goes back to 1988. | |||||
2019-01-14 | Reformat and update copyright and license notices | Sebastian Huber | 1 | -0/+6 | |
For everything before 2015 an OAR copyright is assumed. Later copyright notices are based on Git commits on a best effort basis. The copyright notices of the "RTEMS Software Engineering Handbook" and the "RTEMS CPU Architecture Supplement" are incomplete. | |||||
2019-01-11 | common/header: Add missing copyright notice | Sebastian Huber | 1 | -0/+4 | |