update_web_docs_svn (CSS): Introduce.

	* update_web_docs_svn (CSS): Introduce.
	Have generated files refer to it.

From-SVN: r239980

maintainer-scripts/ChangeLog

+2016-09-04  Gerald Pfeifer  <gerald@pfeifer.com>
+
+	* update_web_docs_svn (CSS): Introduce.
+	Have generated files refer to it.
+
 2016-08-17  Martin Liska  <mliska@suse.cz>
 
 	* branch_changer.py: Describe the script. Add sample usage

maintainer-scripts/update_web_docs_svn

@@ -28,6 +28,8 @@ MANUALS="cpp
   libiberty
   porting"
 
+CSS=/gcc.css
+
 WWWBASE=/www/gcc/htdocs
 WWWBASE_PREFORMATTED=/www/gcc/htdocs-preformatted
 WWWPREPROCESS='/www/gcc/bin/preprocess -r'
@@ -156,7 +158,7 @@ for file in $MANUALS; do
     if [ "$file" = "gnat_ugn" ]; then
       includes="$includes -I gcc/gcc/ada -I gcc/gcc/ada/doc/gnat_ugn"
     fi
-    makeinfo --html $includes -o ${file} ${filename}
+    makeinfo --html --css-ref $CSS $includes -o ${file} ${filename}
     tar cf ${file}-html.tar ${file}/*.html
     texi2dvi $includes -o ${file}.dvi ${filename} </dev/null >/dev/null && dvips -o ${file}.ps ${file}.dvi
     texi2pdf $includes -o ${file}.pdf ${filename} </dev/null