diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-04 17:57:29 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-01-04 17:57:29 +0000 |
| commit | 48ff1d417d4c49525c09b013395e38dda8bd50fe (patch) | |
| tree | ffb4ea05f14bc936b5dd3681e19b2aa3cee8c3bf /maintainer-scripts | |
| parent | 144409bbbdb293946cea105115e0e329f633d333 (diff) | |
| download | gcc-48ff1d417d4c49525c09b013395e38dda8bd50fe.tar.gz | |
2014-01-04 Basile Starynkevitch <basile@starynkevitch.net>
{{merge using svnmerge.py with trunk GCC 4.9 svn rev206333 now in
stage 3; very unstable, xtramelt-ana-base don't compile
anymore...}}
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@206336 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 | 13 |
2 files changed, 18 insertions, 0 deletions
diff --git a/maintainer-scripts/ChangeLog b/maintainer-scripts/ChangeLog index 8f18264fa6c..867d0ca4771 100644 --- a/maintainer-scripts/ChangeLog +++ b/maintainer-scripts/ChangeLog @@ -1,3 +1,8 @@ +2013-12-02 Gerald Pfeifer <gerald@pfeifer.com> + + * update_web_docs_svn: Work around makeinfo generated file names + and references with "_002d" instead of "-". + 2013-04-12 Jakub Jelinek <jakub@redhat.com> * crontab: Disable snapshots from gcc-4_6-branch. diff --git a/maintainer-scripts/update_web_docs_svn b/maintainer-scripts/update_web_docs_svn index cfc33c42bf5..8a5883eeca7 100755 --- a/maintainer-scripts/update_web_docs_svn +++ b/maintainer-scripts/update_web_docs_svn @@ -172,6 +172,19 @@ for file in $MANUALS; do fi done +# Work around makeinfo generated file names and references with +# "_002d" instead of "-". +find . -name '*.html' | while read f; do + # Do this for the contents of each file. + sed -i -e 's/_002d/-/g' "$f" + # And rename files if necessary. + ff=`echo $f | sed -e 's/_002d/-/g'`; + if [ "$f" != "$ff" ]; then + printf "Renaming %s to %s\n" "$f" "$ff" + mv "$f" "$ff" + fi +done + # Then build a gzipped copy of each of the resulting .html, .ps and .tar files for file in */*.html *.ps *.pdf *.tar; do cat $file | gzip --best > $file.gz |