summaryrefslogtreecommitdiffstats
path: root/common (follow)
Commit message (Expand)AuthorAgeFilesLines
* sphinx: Use the pip installed sphinx-rtd-themeChris Johns2024-02-2143-3960/+40
* sphinx/style: Fix building with the latest sphinxChris Johns2023-12-202-4/+6
* 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
* layout.html: Revert patch forcing Spinx to >= 6.0Joel Sherrill2023-07-251-2/+0
* eng: Fix builds for newer Sphinx versions (>=7)Utkarsh Verma2023-06-141-0/+2
* Update company nameSebastian Huber2023-05-202-2/+2
* waf: Handle the enable options for singlehtml and ditaa/pumlChris Johns2022-12-071-3/+3
* 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
* Update jQuery from 1.12.4 to 3.6.0.Amar Takhar2021-11-111-5/+2
* 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
* 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
* common: fix title pageGedare Bloom2020-04-042-1/+2
* 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 sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/Amar Takhar2020-02-2655-1039/+3679
* Revert "common: Add URLs to manuals"Sebastian Huber2020-02-041-13/+1
* 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
* 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
* 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
* Add unicode support for commonly used characters like copyright.Chris Johns2019-02-281-0/+5
* 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
* 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
* Support VERSION file for releasing and deploymentChris Johns2019-02-061-0/+150
* Change first copyright year to 1988Sebastian Huber2019-01-181-1/+1
* Reformat and update copyright and license noticesSebastian Huber2019-01-141-0/+6
* common/header: Add missing copyright noticeSebastian Huber2019-01-111-0/+4