[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make doc failure
From: |
Matthias Kilian |
Subject: |
Re: Make doc failure |
Date: |
Fri, 13 Nov 2009 22:08:36 +0100 |
User-agent: |
Mutt/1.4.2.3i |
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