From 2af55946ab1393fff9801b6ee137a15365220c24 Mon Sep 17 00:00:00 2001
From: Chris Johns <chrisj@rtems.org>
Date: Sat, 4 Apr 2020 09:14:49 +1100
Subject: docs: Do not compress the docs

---
 rtems-release-docs | 7 +++----
 1 file 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
   #
-- 
cgit v1.2.3