aboutsummaryrefslogtreecommitdiff
path: root/maintainer-scripts/update_web_docs_git
AgeCommit message (Expand)AuthorFilesLines
2023-04-20update_web_docs_git: Allow setting TEXI2*, add git build defaultArsen Arsenović1-3/+14
2023-03-21html: Set CONTENTS_OUTPUT_LOCATION=inline if makeinfo supports itArsen Arsenović1-1/+1
2023-03-21update_web_docs_git: Update CSS reference to new manual CSSArsen Arsenović1-1/+1
2023-03-17maintainer-scripts: Add Modula-2 manual to update_web_docs_gitGaius Mulley1-1/+5
2023-03-16maintainer-scripts: Abstract BUGURL in update_web_docs_gitGerald Pfeifer1-2/+3
2022-11-30maintainer-scripts: Add gdc to update_web_docs_gitIain Buclaw1-0/+1
2022-07-28contrib: use sphinx-build from a venvMartin Liska1-15/+6
2020-03-12maintainer-scripts: Fix jit documentation build with update_web_docs_gitJakub Jelinek1-2/+3
2020-01-13Replace update_web_docs_svn with update_web_docs_git.Joseph Myers1-0/+277