mirror of
https://github.com/wassname/pyreadline.git
synced 2026-08-08 11:24:34 +08:00
18 lines
358 B
Python
18 lines
358 B
Python
# Must be launched with the build version of pyreadline on path
|
|
#
|
|
import re
|
|
import pyreadline.release as release
|
|
|
|
|
|
fil=open("manual_base.tex")
|
|
txt=fil.read()
|
|
fil.close()
|
|
|
|
manualtext=re.sub("--version--",release.version,txt)
|
|
fil=open("manual.tex","w")
|
|
fil.write(manualtext)
|
|
fil.close()
|
|
print "Manual (magic.tex, manual.lyx) succesfully updated, exiting..."
|
|
|
|
|