diff options
| author | ruki <[email protected]> | 2022-03-20 23:02:01 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-03-20 23:02:01 +0800 |
| commit | d50435da062503617dc109d65315801d0c28c32f (patch) | |
| tree | e205a4e8579a84f16967dc8a825377066623e335 /scripts | |
| parent | 2255ebb1f8d5bac4f61d6111d14a3aa46a8d3c4e (diff) | |
add man to archive
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/archive-all | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/archive-all b/scripts/archive-all index c15e44876..161e8042f 100755 --- a/scripts/archive-all +++ b/scripts/archive-all @@ -25,6 +25,7 @@ cd $tmpdir/repo || exit cp -r ./core $tmpdir/xmake cp -r ./xmake $tmpdir/xmake/xmake cp ./scripts/*.sh $tmpdir/xmake/scripts +cp -r ./scripts/man $tmpdir/xmake/scripts cp -r ./scripts/debian $tmpdir/xmake/scripts cp ./*.md $tmpdir/xmake cp makefile $tmpdir/xmake |