diff options
| author | Gerald Pfeifer <gerald@pfeifer.com> | 2016-09-04 18:44:30 +0000 |
|---|---|---|
| committer | Gerald Pfeifer <gerald@gcc.gnu.org> | 2016-09-04 18:44:30 +0000 |
| commit | b8c0f3c1644f5854c2f2273a84c2fd19561d2f20 (patch) | |
| tree | 0f69ec79132e82c3a91affb9b034dab2b9913dca /maintainer-scripts | |
| parent | e85921ee9fd4e526517ec121eff8e8ea04e78b8b (diff) | |
| download | gcc-b8c0f3c1644f5854c2f2273a84c2fd19561d2f20.tar.gz | |
update_web_docs_svn (CSS): Introduce.
* update_web_docs_svn (CSS): Introduce.
Have generated files refer to it.
From-SVN: r239980
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 |