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 4bb4897bf35f65c8b706a0f8430839ad28dab227..084f09f9a71c24556f541204e00cf42416dbc14c 100755 (executable)
--- 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