diff options
author | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-09-04 18:44:30 +0000 |
---|---|---|
committer | gerald <gerald@138bc75d-0d04-0410-961f-82ee72b054a4> | 2016-09-04 18:44:30 +0000 |
commit | 4cfa6404e4e0b214665816d47691eaa9eda3336c (patch) | |
tree | 0f69ec79132e82c3a91affb9b034dab2b9913dca /maintainer-scripts | |
parent | a1cf06b8117ea8ec340820613034319497f09549 (diff) | |
download | gcc-4cfa6404e4e0b214665816d47691eaa9eda3336c.tar.gz |
* update_web_docs_svn (CSS): Introduce.
Have generated files refer to it.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@239980 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'maintainer-scripts')
-rw-r--r-- | maintainer-scripts/ChangeLog | 5 | ||||
-rwxr-xr-x | maintainer-scripts/update_web_docs_svn | 4 |
2 files changed, 8 insertions, 1 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index efbba22f2df..6c8b050b5d0 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +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 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 |