[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make doc failure
From: |
Graham Percival |
Subject: |
Re: Make doc failure |
Date: |
Fri, 13 Nov 2009 21:32:02 +0000 |
User-agent: |
Mutt/1.5.18 (2008-05-17) |
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