mainline build failing with Ada

[Arnaud Charlet]

I've seen related discussions on this issue, but in case this is
a different bug, building gcc mainline with Ada fails as follows:

<<
$ make
[...]
makeinfo -I ../../gcc-head/gcc/doc/include -I ../../gcc-head/gcc/ada -o /home/charlet/cvs/gcc-obj/gcc/doc/gnat_ug_vms.info ../../gcc-head/gcc/ada/gnat_ug_vms.texi
/home/charlet/cvs/gcc-obj/gcc/doc/gnat_ug_vms.info: No such file or directory
make[3]: *** [/home/charlet/cvs/gcc-obj/gcc/doc/gnat_ug_vms.info] Error 2
make[3]: Leaving directory `/home/charlet/cvs/gcc-obj/gcc'
make[2]: *** [stage3_build] Error 2
make[2]: Leaving directory `/home/charlet/cvs/gcc-obj/gcc'
make[1]: *** [quickstrap] Error 2
make[1]: Leaving directory `/home/charlet/cvs/gcc-obj/gcc'
make: *** [all-gcc] Error 2
>>

In other words, the directory <obj>/gcc/doc has never been created.
Creating it by hand fixes the failure.

Should I open a PR, or is it about to be fixed by a pending check in ?

Arno