]> git.ipfire.org Git - people/ms/gcc.git/commit
update_web_docs_git: Update CSS reference to new manual CSS
authorArsen Arsenović <arsen@aarsen.me>
Thu, 26 Jan 2023 17:50:38 +0000 (18:50 +0100)
committerArsen Arsenović <arsen@aarsen.me>
Tue, 21 Mar 2023 08:47:34 +0000 (09:47 +0100)
commit27334ebe382f5a82021bb69b3c64bc8b73582d7c
tree49fd2c4a48e05b3ad8170ba6ae06750b07d98e42
parent43b72ede11d78b29dff7c55f3f5170e8d135979f
update_web_docs_git: Update CSS reference to new manual CSS

maintainer-scripts/ChangeLog:

* update_web_docs_git (CSS): Update CSS reference to point to
/texinfo-manuals.css.
maintainer-scripts/update_web_docs_git