diff --git a/ase/rel/rel.sh b/ase/rel/rel.sh
index 0eae62cc..8d406404 100755
--- a/ase/rel/rel.sh
+++ b/ase/rel/rel.sh
@@ -16,7 +16,6 @@ finalize ()
 		if [ "$i" = "*" ]; then continue; fi
 		if [ "$i" = "CVS" ]; then continue; fi
 		if [ "$i" = "stx" ]; then continue; fi
-		if [ "$i" = "web.out" ]; then continue; fi
 
 		if [ "$cur" = "" ] 
 		then