diff options
Diffstat (limited to 'lang/python/examples')
| -rwxr-xr-x | lang/python/examples/howto/post_installer.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lang/python/examples/howto/post_installer.py b/lang/python/examples/howto/post_installer.py index b9fd36f2..b493f979 100755 --- a/lang/python/examples/howto/post_installer.py +++ b/lang/python/examples/howto/post_installer.py @@ -136,6 +136,10 @@ for ipath in info_paths: else: pass +# Remove the old generated .texi files from the org source directory. +for texifile in doctexi2: + os.remove(texifile) + print(""" You may now build your preferred documentation format using either: |