Mercurial > cpython-lru_cache-weakref

annotate Doc/ref/makeMIFs.py @ 5817:48b94de85bf3 legacy-trunk

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Extensive changes by AMK.
author Guido van Rossum <guido@python.org>
date Thu, 17 Jul 1997 16:29:42 +0000
parents a0ec8a9db960
children e499c7dbfdf3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
4571
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
1 #! /bin/env python
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
2
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
3 """Script to write MIF files from ref.book and ref*.doc."""
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
4
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
5 import os
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
6 import glob
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
7
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
8 def main():
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
9 pipe = os.popen("fmbatch", 'w')
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
10 for i in ['ref.book'] + glob.glob('ref*.doc'):
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
11 cmd = "Open %s\nSaveAs m %s %s.MIF\n" % (i, i, os.path.splitext(i)[0])
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
12 print cmd
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
13 pipe.write(cmd)
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
14 pipe.write("Quit\n")
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
15
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
16 if __name__ == '__main__':
a0ec8a9db960 Script to write MIF files from ref*.{book,doc}
Guido van Rossum <guido@python.org>
parents:
diff changeset
17 main()