Re: Make doc failure

[Matthias Kilian]

On Fri, Nov 13, 2009 at 08:31:34PM +0000, Carl Sorensen wrote:
> @@ -146,8 +146,8 @@ local-WWW-1: $(OUT_TEXINFO_MANUALS) 
> $(PDF_FILES) info
>  
>  local-WWW-2: txt-to-html $(OUT_HTML_FILES) $(DEEP_HTML_FILES) 
> $(source-links) $(OM
>         # fix links from other manuals to general
> -       find $(outdir) -name "*.html" | xargs sed -i 's/..\/general\//..\//'
> -       ls $(outdir)/*.html | xargs sed -i 's/<a href=\"..\//<a href=\"/'
> +       find $(outdir) -name "*.html" | xargs sed  -e 
> 's/..\/general\//..\//' -i ''
> +       ls $(outdir)/*.html | xargs sed  -e 's/<a href=\"..\//<a href=\"/' -i 
> ''
>  endif

Please don't use -i on sed(1), it's not portable (so it wasn't
portable in the original version). If you're brave, and if there
are no files with "funny" names (containing linebreaks), you can
use something like

        ls $(outdir)/*.html | while read f; do sed -e ... "$$f" > _ && mv _ 
"$$f" done

Ciao,
        Kili