summaryrefslogtreecommitdiffstats
path: root/common (unfollow)
Commit message (Expand)AuthorFilesLines
2024-02-21sphinx: Use the pip installed sphinx-rtd-themeChris Johns43-3960/+40
2023-12-20sphinx/style: Fix building with the latest sphinxChris Johns2-4/+6
2023-11-09eng: Add formal verification chapterAndrew Butterfield1-0/+75
2023-07-25common/waf.py: Add option to check maximum Sphinx versionJoel Sherrill1-3/+14
2023-07-25layout.html: Revert patch forcing Spinx to >= 6.0Joel Sherrill1-2/+0
2023-06-14eng: Fix builds for newer Sphinx versions (>=7)Utkarsh Verma1-0/+2
2023-05-20Update company nameSebastian Huber2-2/+2
2022-12-07waf: Handle the enable options for singlehtml and ditaa/pumlChris Johns1-3/+3
2022-08-12pdf: Set TEXINPUTS to the tex source pathChris Johns1-1/+4
2022-08-03building: Add support for an RTEMS version numberChris Johns3-27/+54
2021-11-11Update jQuery from 1.12.4 to 3.6.0.Amar Takhar1-5/+2
2021-05-21Fix the bibtex extension configure testChris Johns1-2/+4
2021-05-21Fix the linux specific includeChris Johns1-4/+4
2021-03-30common/latex.py: use distro module for python3.5 and upVijay Kumar Banerjee1-2/+5
2021-02-18common/waf: fix some typosGedare Bloom1-3/+3
2021-02-18common: use bibtex_bibfiles for newer bibtexGedare Bloom2-1/+6
2020-09-13common: Enable numfig roleSebastian Huber1-0/+3
2020-08-07common: Fix pale color of HTML definition termsSebastian Huber1-1/+0
2020-07-08common: Remove probably superfluous importSebastian Huber1-1/+0
2020-04-04common: fix title pageGedare Bloom2-1/+2
2020-04-03waf: User friendly message when no sphinx is installedChris Johns1-0/+3
2020-03-13waf: Get the version numbers from the version file.Chris Johns3-5/+40
2020-03-13sphinx: Add a custom highlight colourChris Johns1-0/+5
2020-02-26Update sphinx_rtd_theme to https://github.com/readthedocs/sphinx_rtd_theme/Amar Takhar55-1039/+3679
2020-02-04Revert "common: Add URLs to manuals"Sebastian Huber1-13/+1
2020-01-07common: Add URLs to manualsSebastian Huber1-1/+13
2019-10-29waf/common: Fix UTF-8 encoding of HTML inliner output on Python3.Chris Johns1-5/+13
2019-08-14common: Show page references after internal linksSebastian Huber2-59/+1
2019-08-05common: Align "Build Logs" with other list namesSebastian Huber1-1/+1
2019-07-24refs: Update EARS referencesSebastian Huber1-2/+20
2019-07-23refs: Add ECSS standard referencesSebastian Huber1-0/+51
2019-07-23refs: Replace non-ASCII characterSebastian Huber1-1/+1
2019-07-11common: Add referencesSebastian Huber1-0/+49
2019-06-21c-user: Add RTEID and ORKID referencesSebastian Huber1-0/+18
2019-03-01waf: Fix argument bug getting extra source.Chris Johns1-1/+1
2019-02-28waf: Add support for extra and excluded sources.Chris Johns1-14/+32
2019-02-28waf: Change --sphinx-verbose to --sphinx-options, add --sphinx-nit-pickChris Johns1-13/+28
2019-02-28Add unicode support for commonly used characters like copyright.Chris Johns1-0/+5
2019-02-28waf: Fix building the images in the src path.Chris Johns1-2/+1
2019-02-15Use pathto() on the genindex URL to make it relative.Chris Johns1-1/+1
2019-02-13common/latex.py: Remove hack for CentOS. Use Texlive per instructions.Joel Sherrill1-8/+0
2019-02-14waf: Use the release date in the coverpageChris Johns1-2/+2
2019-02-13waf: Fix version.py to support older versions of git.Chris Johns1-17/+34
2019-02-13Remove minted from the PDF builds.Chris Johns3-1518/+2
2019-02-07Fix the version logic to make it more robust.Chris Johns1-1/+4
2019-02-06Fix building with Sphinx 1.8 and later.Chris Johns2-14/+33
2019-02-06 Support VERSION file for releasing and deploymentChris Johns1-0/+150
2019-01-18Change first copyright year to 1988Sebastian Huber1-1/+1
2019-01-14Reformat and update copyright and license noticesSebastian Huber1-0/+6
2019-01-11common/header: Add missing copyright noticeSebastian Huber1-0/+4