# HG changeset patch
# User Bryan O'Sullivan <bos@serpentine.com>
# Date 1153119612 25200
# Node ID 5cee64874312f4f85d45f4ebe2b0de8ea9550a43
# Parent  e68f4a96c16e2da1ae4ce233b97ce91777e840d8
Require examples to be executable, so it's easier to see them with "ls".

diff -r e68f4a96c16e -r 5cee64874312 en/examples/run-example
--- a/en/examples/run-example	Sun Jul 16 23:29:29 2006 -0400
+++ b/en/examples/run-example	Mon Jul 17 00:00:12 2006 -0700
@@ -10,6 +10,7 @@
 import re
 import shutil
 import signal
+import stat
 import sys
 import tempfile
 import time
@@ -143,7 +144,8 @@
         if name == 'run-example' or name.startswith('.'): continue
         if name.endswith('.out') or name.endswith('~'): continue
         pathname = os.path.join(path, name)
-        if os.path.isfile(pathname):
+        st = os.lstat(pathname)
+        if stat.S_ISREG(st.st_mode) and st.st_mode & 0111:
             example(pathname).run()
     print >> open(os.path.join(path, '.run'), 'w'), time.asctime()