Re: Fwd: A problem building docs

[Karl Berry]

Hi Angelo,

    egrep: Fine dell'intervallo non valida

Thanks for the report.  It was fixed months ago in the current sources.
The relevant line now reads:

echo "$command_line_filename" | $EGREP '^(/|[A-Za-z]:/)' >&6 \

Best,
k