Message ID | alpine.LNX.2.00.1312020234050.2185@tuna.site |
---|---|
State | New |
Headers | show |
Gerald Pfeifer wrote: > Below you'll find a patch for maintainer-scripts/update_web_docs_svn > which I tested on gcc.gnu.org and the current documentation pages (not > those for older releases) are adjusted now. > > Among others this fixes the link you reported above (though adjusting > gcc-4.9/changes.html directly is now a logical next step). > > Thoughts? Looks good to me. (I fully concur that the _002d is ugly.) Tobias
Index: maintainer-scripts/update_web_docs_svn =================================================================== --- update_web_docs_svn (revision 205584) +++ update_web_docs_svn (working copy) @@ -172,6 +172,19 @@ 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