On 06/18/2012 01:39 PM, Stefano Lattarini wrote:
>
> ... this bit of botched code in the texi2dvi script (version 4.13):
>
> # ensure_dir DIR1 DIR2...
> # -----------------------
> # Make sure the directories exist.
> ensure_dir ()
> {
> for dir
> do
> test -d "$dir" \
> || mkdir "$dir" \
> || error 1 "cannot create directory: $dir"
> done
> }
>
>
On the bright side, this issue seems fixed in the development version of
Texinfo:
# ensure_dir DIR1 DIR2...
# -----------------------
# Make sure the directories exist.
ensure_dir ()
{
for dir
do
# Beware that in parallel builds we may have several concurrent
# attempts to create the directory. So fail only if "mkdir"
# failed *and* the directory still does not exist.
test -d "$dir" \
|| mkdir "$dir" \
|| test -d "$dir" \
|| error 1 "cannot create directory: $dir"
done
}
So we might revisit the issue when we can assume Texinfo 5.0 ...
Regards,
Stefano
