aboutsummaryrefslogtreecommitdiff
path: root/maintainer-scripts/update_web_docs_git
AgeCommit message (Expand)Author
2023-04-20update_web_docs_git: Allow setting TEXI2*, add git build defaultArsen Arsenović
2023-03-21html: Set CONTENTS_OUTPUT_LOCATION=inline if makeinfo supports itArsen Arsenović
2023-03-21update_web_docs_git: Update CSS reference to new manual CSSArsen Arsenović
2023-03-17maintainer-scripts: Add Modula-2 manual to update_web_docs_gitGaius Mulley
2023-03-16maintainer-scripts: Abstract BUGURL in update_web_docs_gitGerald Pfeifer
2022-11-30maintainer-scripts: Add gdc to update_web_docs_gitIain Buclaw
2022-07-28contrib: use sphinx-build from a venvMartin Liska
2020-03-12maintainer-scripts: Fix jit documentation build with update_web_docs_gitJakub Jelinek
2020-01-13Replace update_web_docs_svn with update_web_docs_git.Joseph Myers