1
0
Fork 0

Merge branch 'devel' of https://github.com/arangodb/arangodb into devel

This commit is contained in:
jsteemann 2016-10-28 14:10:54 +02:00
commit bfe9ca8af9
2 changed files with 2 additions and 1 deletions

View File

@ -425,7 +425,7 @@ build-dist-books:
fi; \
make build-books DISPLAY="$${DISP}"; \
mkdir -p ${OUTPUT_DIR}; \
( cd books; tar -czf ${OUTPUT_DIR}/ArangoDB-${newVersionNumber}.tar.gz ${ALLBOOKS}; ); \
( cd books; tar -czf ${OUTPUT_DIR}/ArangoDB-${newVersionNumber}.tar.gz ${ALLBOOKS} index.html; ); \
for book in $(ALLBOOKS); do \
make build-book-dist NAME=$${book} DISPLAY="$${DISP}" ; \
done

View File

@ -6,4 +6,5 @@ exec python \
`pwd`/js/apps/system/_admin/aardvark/APP/api-docs \
api-docs \
`pwd`/Documentation/DocuBlocks/Rest \
$@ \
> `pwd`/js/apps/system/_admin/aardvark/APP/api-docs.json