From: Arsen Arsenović <arsen@aarsen.me>
Date: Thu, 26 Jan 2023 17:50:38 +0000 (+0100)
Subject: update_web_docs_git: Update CSS reference to new manual CSS
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=27334ebe382f5a82021bb69b3c64bc8b73582d7c;p=people%2Fms%2Fgcc.git

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.
---

diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git
index 4bb4897bf35..084f09f9a71 100755
--- a/maintainer-scripts/update_web_docs_git
+++ b/maintainer-scripts/update_web_docs_git
@@ -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