summaryrefslogtreecommitdiffstats
path: root/common (follow)
Commit message (Collapse)AuthorAgeFilesLines
* sphinx: Use the pip installed sphinx-rtd-themeChris Johns2024-02-2143-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
* sphinx/style: Fix building with the latest sphinxChris Johns2023-12-202-4/+6
| | | | | | Tested on sphinx 7.2, 6.1.3 AND 5.3.0 Closes #4980
* eng: Add formal verification chapterAndrew Butterfield2023-11-091-0/+75
|
* common/waf.py: Add option to check maximum Sphinx versionJoel Sherrill2023-07-251-3/+14
| | | | Updates #4928.
* layout.html: Revert patch forcing Spinx to >= 6.0Joel Sherrill2023-07-251-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.
* eng: Fix builds for newer Sphinx versions (>=7)Utkarsh Verma2023-06-141-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
* Update company nameSebastian Huber2023-05-202-2/+2
| | | | | The embedded brains GmbH & Co. KG is the legal successor of embedded brains GmbH.
* waf: Handle the enable options for singlehtml and ditaa/pumlChris Johns2022-12-071-3/+3
| | | | Close #4756
* pdf: Set TEXINPUTS to the tex source pathChris Johns2022-08-121-1/+4
|
* building: Add support for an RTEMS version numberChris Johns2022-08-033-27/+54
| | | | | | - Support using a version number for RTEMS documentation Updates #4695
* Update jQuery from 1.12.4 to 3.6.0.Amar Takhar2021-11-111-5/+2
| | | | Identified by security scans.
* Fix the bibtex extension configure testChris Johns2021-05-211-2/+4
|
* Fix the linux specific includeChris Johns2021-05-211-4/+4
|
* common/latex.py: use distro module for python3.5 and upVijay Kumar Banerjee2021-03-301-2/+5
|
* common/waf: fix some typosGedare Bloom2021-02-181-3/+3
|
* common: use bibtex_bibfiles for newer bibtexGedare Bloom2021-02-182-1/+6
| | | | Closes #4229.
* common: Enable numfig roleSebastian Huber2020-09-131-0/+3
|
* common: Fix pale color of HTML definition termsSebastian Huber2020-08-071-1/+0
|
* common: Remove probably superfluous importSebastian Huber2020-07-081-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_')
* common: fix title pageGedare Bloom2020-04-042-1/+2
| | | | | Sphinx changed the default behavior of maketitle. Provide our own rtemsmaketitle command and use it instead.
* waf: User friendly message when no sphinx is installedChris Johns2020-04-031-0/+3
|
* waf: Get the version numbers from the version file.Chris Johns2020-03-133-5/+40
|
* sphinx: Add a custom highlight colourChris Johns2020-03-131-0/+5
| | | | Update #2998
* Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/Amar Takhar2020-02-2655-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
* Revert "common: Add URLs to manuals"Sebastian Huber2020-02-041-13/+1
| | | | | This reverts commit 1fdd3cf83d154af66ad0edf5094d93075063c7e0 and some follow up changes.
* common: Add URLs to manualsSebastian Huber2020-01-071-1/+13
|
* waf/common: Fix UTF-8 encoding of HTML inliner output on Python3.Chris Johns2019-10-291-5/+13
|
* common: Show page references after internal linksSebastian Huber2019-08-142-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.
* common: Align "Build Logs" with other list namesSebastian Huber2019-08-051-1/+1
|
* refs: Update EARS referencesSebastian Huber2019-07-241-2/+20
|
* refs: Add ECSS standard referencesSebastian Huber2019-07-231-0/+51
| | | | | Add the ECSS standards in a separate block. Use a custom label scheme to make citations easier.
* refs: Replace non-ASCII characterSebastian Huber2019-07-231-1/+1
|
* common: Add referencesSebastian Huber2019-07-111-0/+49
|
* c-user: Add RTEID and ORKID referencesSebastian Huber2019-06-211-0/+18
|
* waf: Fix argument bug getting extra source.Chris Johns2019-03-011-1/+1
|
* waf: Add support for extra and excluded sources.Chris Johns2019-02-281-14/+32
|
* waf: Change --sphinx-verbose to --sphinx-options, add --sphinx-nit-pickChris Johns2019-02-281-13/+28
| | | | | Provide options to manage sphinx. Make using the nit-picky mode simpler to access.
* Add unicode support for commonly used characters like copyright.Chris Johns2019-02-281-0/+5
| | | | | - This change makes the copyright character easier to see on editors lacking good unicode rendering support, ie terminals.
* waf: Fix building the images in the src path.Chris Johns2019-02-281-2/+1
|
* Use pathto() on the genindex URL to make it relative.Chris Johns2019-02-151-1/+1
|
* common/latex.py: Remove hack for CentOS. Use Texlive per instructions.Joel Sherrill2019-02-131-8/+0
|
* waf: Use the release date in the coverpageChris Johns2019-02-141-2/+2
|
* waf: Fix version.py to support older versions of git.Chris Johns2019-02-131-17/+34
|
* Remove minted from the PDF builds.Chris Johns2019-02-133-1518/+2
| | | | | | This is feedback from the Sphinx project. See: https://github.com/sphinx-doc/sphinx/issues/6021#issuecomment-460951653
* Fix the version logic to make it more robust.Chris Johns2019-02-071-1/+4
|
* Fix building with Sphinx 1.8 and later.Chris Johns2019-02-062-14/+33
| | | | | | | | - Provide the pytnon.ist file for makeindex. - Add support for xelatex building so we can switch if we want too. Closes #3669
* Support VERSION file for releasing and deploymentChris Johns2019-02-061-0/+150
| | | | - Shorten the GIT hash.
* Change first copyright year to 1988Sebastian Huber2019-01-181-1/+1
| | | | The OAR copyright goes back to 1988.
* Reformat and update copyright and license noticesSebastian Huber2019-01-141-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.
* common/header: Add missing copyright noticeSebastian Huber2019-01-111-0/+4
|