diff options
author | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:22:47 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:22:47 +0000 |
commit | eb98cd7ccb44c77b8ff200445f276a594b792a7d (patch) | |
tree | dbb09a766f173082af612048f0242993c8bf138a | |
parent | Add bsp_howto to the name remapping. (diff) | |
download | rtems-release-eb98cd7ccb44c77b8ff200445f276a594b792a7d.tar.bz2 |
Prefix all doc archives with rtems-.
-rwxr-xr-x | rtems-release-docs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index 4d5ca75..7587514 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -108,8 +108,8 @@ cd install manual=$(echo $(basename $p) | sed -e "s/\\..*//") name=$(manual_map ${manual}) xz $p - mv $p.xz ${top}/${release}/docs/${release}-${name}.pdf.xz - tar cf - ${prefix}/${manual} > ${top}/${release}/docs/${release}-${name}-html.tar.xz + mv $p.xz ${top}/${release}/docs/rtems-${release}-${name}.pdf.xz + tar cf - ${prefix}/${manual} > ${top}/${release}/docs/rtems-${release}-${name}-html.tar.xz done cd .. |