Skip to content

Commit

Permalink
bugfix: add missing documentation to distribution
Browse files Browse the repository at this point in the history
  • Loading branch information
tfaoliveira committed May 5, 2023
1 parent 23ced95 commit 555e233
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion scripts/ci/releaser/jdist-src-v1
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 24,7 @@ libjade_test=$libjade/test
dist=$libjade/$dist_name
dist_src=$dist/libjade
dist_ext=$dist/ext
dist_doc=$dist/doc

# -----------------------------------------------------------------------------
replace_include()
Expand All @@ -44,11 45,13 @@ replace_include()
rm -fr $dist
mkdir -p $dist_src
mkdir -p $dist_ext
mkdir -p $dist_doc

# -----------------------------------------------------------------------------
# copy license and README.md
# copy license and README.md and doc/api.md
cp $libjade/LICENSE $dist/LICENSE
cp $libjade/README.md $dist/README.md
cp $libjade/doc/api.md $dist_doc/api.md

# -----------------------------------------------------------------------------
# copy ext randombytes
Expand Down

0 comments on commit 555e233

Please sign in to comment.