## This seems pointless. The info/ directory exists in both the
## repository and the release tarfiles. We do not use any
## This seems pointless. The info/ directory exists in both the
## repository and the release tarfiles. We do not use any
## solution anyway. The second test -d is for parallel builds.
mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir}
## solution anyway. The second test -d is for parallel builds.
mkinfodir = @test -d ${infodir} || mkdir ${infodir} || test -d ${infodir}