diff options
Diffstat (limited to 'gdb/doc')
| -rw-r--r-- | gdb/doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/Makefile.in b/gdb/doc/Makefile.in index cf10868..381ceae 100644 --- 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 .,_,$@) |