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: