gdb/doc: fix cannot create directory error when building dvi/pdf

After this commit:

  commit 0700386f142f0b0d3d0021995970a1b41c36cc92 (gdb-tmp-c)
  Date:   Wed May 8 19:12:57 2024 +0100

      gdb/doc: fix parallel build of pdf and dvi files

When building the dvi or pdf targets you'd get errors like this:

  mkdir: cannot create directory ‘texi2dvi_tmpdir/gdb_dvi’: No such file or directory
  mkdir: cannot create directory ‘texi2dvi_tmpdir/gdb_pdf’: No such file or directory

fixed by ensuring the directory is created before calling texi2dvi.

diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in
index cf10868ed058b05a31baee841737024b23c1d24e..381ceae35f4c0e77f3edf13a39d1ec4925ffb4be 100644 (file)
--- a/gdb/doc/Makefile.in
+++ b/gdb/doc/Makefile.in
@@ -71,6 +71,7 @@ TEXI2ROFF=texi2roff
 TEXI2DVI=texi2dvi
 TEXI2DVI_TMPDIR=texi2dvi_tmpdir
 TEXI2DVI_CMD = rm -fr $(TEXI2DVI_TMPDIR)/$(subst .,_,$@) \
+               && mkdir -p $(TEXI2DVI_TMPDIR)/$(subst .,_,$@) \
                && $(TEXI2DVI) --build=tidy \
                               --build-dir=$(TEXI2DVI_TMPDIR)/$(subst .,_,$@)