Skip to content

Commit 555e233

Browse files
committed
bugfix: add missing documentation to distribution
1 parent 23ced95 commit 555e233

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

Diff for: scripts/ci/releaser/jdist-src-v1

+4-1
Original file line numberDiff line numberDiff line change
@@ -24,6 +24,7 @@ libjade_test=$libjade/test
2424
dist=$libjade/$dist_name
2525
dist_src=$dist/libjade
2626
dist_ext=$dist/ext
27+
dist_doc=$dist/doc
2728

2829
# -----------------------------------------------------------------------------
2930
replace_include()
@@ -44,11 +45,13 @@ replace_include()
4445
rm -fr $dist
4546
mkdir -p $dist_src
4647
mkdir -p $dist_ext
48+
mkdir -p $dist_doc
4749

4850
# -----------------------------------------------------------------------------
49-
# copy license and README.md
51+
# copy license and README.md and doc/api.md
5052
cp $libjade/LICENSE $dist/LICENSE
5153
cp $libjade/README.md $dist/README.md
54+
cp $libjade/doc/api.md $dist_doc/api.md
5255

5356
# -----------------------------------------------------------------------------
5457
# copy ext randombytes

0 commit comments

Comments
 (0)