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.
This commit is contained in:
Arsen Arsenović 2023-01-26 18:50:38 +01:00
parent 43b72ede11
commit 27334ebe38
No known key found for this signature in database
GPG Key ID: 52C294301EA2C493

View File

@ -35,7 +35,7 @@ MANUALS="cpp
porting"
BUGURL="http://gcc.gnu.org/bugs/"
CSS=/gcc.css
CSS=/texinfo-manuals.css
WWWBASE=${WWWBASE:-"/www/gcc/htdocs"}
WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted