mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 20:12:31 +01:00
Makefile.am:
Bug#7721 ndb/docs/Makefile.am: Bug#7721
This commit is contained in:
parent
3c45559db8
commit
0de6a42684
1 changed files with 2 additions and 2 deletions
|
@ -38,7 +38,7 @@ ndbapidoc: ndbapi.pdf
|
|||
|
||||
ndbapi.pdf: $(noinst_HEADERS)
|
||||
@set -x; \
|
||||
export NDB_RELEASE=$(NDB_RELEASE) \
|
||||
export NDB_RELEASE=$(NDB_RELEASE); \
|
||||
@RM@ -f ndbapi.pdf ndbapi.html; \
|
||||
@RM@ -rf $(DOXYTMP) $(DOXYOUT); \
|
||||
mkdir -p $(DOXYTMP) $(DOXYOUT); \
|
||||
|
@ -62,7 +62,7 @@ mgmapidoc: mgmapi.pdf
|
|||
|
||||
mgmapi.pdf: $(noinst_HEADERS)
|
||||
@set -x; \
|
||||
export NDB_RELEASE=$(NDB_RELEASE) \
|
||||
export NDB_RELEASE=$(NDB_RELEASE); \
|
||||
@RM@ -f mgmapi.pdf mgmapi.html; \
|
||||
@RM@ -rf $(DOXYTMP) $(DOXYOUT); \
|
||||
mkdir -p $(DOXYTMP) $(DOXYOUT); \
|
||||
|
|
Loading…
Reference in a new issue