Skip to content

Commit 82844c8

Browse files
author
Chris Cho
authored
Merge pull request #43 from ccho-mongodb/make-add-mkdir
Update the Makefile target to add the source/ directory if it doesn't exist already
2 parents 63ec104 + a8801af commit 82844c8

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

Makefile

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -38,6 +38,8 @@ publish: ## Build docs locally
3838

3939
# get the latest for mongo-php-libray/docs git submodule:
4040
git submodule update --remote --init
41+
# create the source/ directory if it doesn't exist
42+
mkdir -p source/
4143
# rsync the docs source from the submodule to the source/ directory:
4244
rsync -a --delete mongo-php-library/docs/ source/
4345
# build the publish artefacts using giza:

0 commit comments

Comments
 (0)