http://www.jwz.org/xscreensaver/xscreensaver-5.08.tar.gz

[xscreensaver] / Makefile.in

diff --git a/Makefile.in b/Makefile.in
index c8e034f336457fe6f1dfa76a0aa278f995d63c24..b094069d1007f60bc1d09b294d32f0ce9917733e 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -321,7 +321,7 @@ www::
   cd $$DEST ;                                                              \
                                                                            \
   TMP=/tmp/xd.$$$$ ;                                                       \
-  sed "s/xscreensaver-5\.[0-9][0-9ab]*/$$HEAD/g" download.html > $$TMP ;  \
+  sed "s/xscreensaver-5\.[0-9][0-9ab]*/$$HEAD/g" download.html > $$TMP ;    \
   echo '' ;                                                                \
   diff -U0 download.html $$TMP ;                                           \
   echo '' ;                                                                \
@@ -334,10 +334,10 @@ www::
       set -x ;                                                             \
       rm $$OLDEST ;                                                        \
       cvs remove $$OLDEST ;                                                \
-    else                                                                   \
-      set -x ;                                                             \
+      set +x ;                                                             \
     fi ;                                                                   \
   done ;                                                                   \
+  set -x ;                                                                 \
   cvs add -kb $$BNAME $$BNAME2 ;                                           \
   cat $$TMP > download.html ;                                              \
   rm -f $$TMP ;                                                                    \