diff en/examples/run-example @ 45:6b7b0339e7d6

Don't rerun examples unnecessarily.

--- a/en/examples/run-example	Sun Jul 23 23:25:52 2006 -0700
+++ b/en/examples/run-example	Sun Jul 23 23:34:24 2006 -0700
@@ -122,6 +122,7 @@
                     # then its output
                     ofp.write(tex_escape(output))
             self.status('\n')
+            open(self.name + '.run', 'w')
         finally:
             try:
                 output = self.sendreceive('exit\n')
@@ -143,6 +144,7 @@
     for name in os.listdir(path):
         if name == 'run-example' or name.startswith('.'): continue
         if name.endswith('.out') or name.endswith('~'): continue
+        if name.endswith('.run'): continue
         pathname = os.path.join(path, name)
         st = os.lstat(pathname)
         if stat.S_ISREG(st.st_mode) and st.st_mode & 0111: