Make doc/coding-style point to wiki page

[krb5.git] / doc / man2ps

diff --git a/doc/man2ps b/doc/man2ps
old mode 100644 (file)
new mode 100755 (executable)
index abeab61..06240e0
--- a/doc/man2ps
+++ b/doc/man2ps
@@ -35,14 +35,14 @@ do
     echo $filename': '$pages' pages'
 
     if [ "$CSPLIT"x != x ]; then
-        $CSPLIT -k $filename.ps /Page:/ \{$pp\}
+        $CSPLIT -k $filename.ps /Page:/ \{$pp\} > /dev/null
 
         counter=0
 
         for number in `ls xx*`
         do
             cat xx00 > $filename$counter.ps
-            echo '.7 dup scale' >> $filename$counter.ps
+            echo '0.85 dup scale' >> $filename$counter.ps
             cat $number >> $filename$counter.ps
             if [ $counter != $pages ];
                 then