Re: Make doc failure

[Graham Percival]

On Fri, Nov 13, 2009 at 10:08:36PM +0100, Matthias Kilian wrote:
> 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

I guess I could test this tomorrow.

It's looking like we'll end up with another directory structure
for the docs, so I might bite the bullet and hack the texi2html
init files directly.  However, I'm reluctant to do that with the
web-texi2html init file in such a bad shape.

Cheers,
- Graham