diff options
Diffstat (limited to 'maintainer-scripts/update_web_docs_svn')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index 46e34d10fe4..0107851dcdd 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/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 |