diff options
| author | Chris Johns <chrisj@rtems.org> | 2020-04-04 09:14:49 +1100 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2020-04-04 09:14:49 +1100 |
| commit | 2af55946ab1393fff9801b6ee137a15365220c24 (patch) | |
| tree | 9b857b246b07e052c132d1ca1b7d8c1314f9a974 | |
| parent | Fix README.txt.in after snapshot review. (diff) | |
| download | rtems-release-2af55946ab1393fff9801b6ee137a15365220c24.tar.bz2 | |
docs: Do not compress the docs
| -rwxr-xr-x | rtems-release-docs | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index e0a7116..f23e91d 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -138,11 +138,10 @@ cd install manual=$(echo $(basename $p) | sed -e "s/\\..*//") base=$(dirname $p) # - # Compress the PDF and move it out of the way. + # Move the PDF out of the way. # - echo "Creating PDF rtems-${release}-${manual}.pdf.${comp_ext}" - ${comp} $p - mv $p.${comp_ext} ${top}/${release}/${docs}/rtems-${release}-${manual}.pdf.${comp_ext} + echo "Creating PDF rtems-${release}-${manual}.pdf" + mv $p ${top}/${release}/${docs}/rtems-${release}-${manual}.pdf # # Create the single html manual # |