From 2de1e599770cdb129b84302d963f65fdd3ddd2a4 Mon Sep 17 00:00:00 2001 From: Ben McGinnes Date: Sun, 27 Jan 2019 16:02:24 +1100 Subject: [PATCH] python: post installer script * Removed auto-generated .texi files from doc/src/ so only the corrected versions are left. * Which means now it is complete, but with the initial work to expand it with info file generation later. --- lang/python/examples/howto/post_installer.py | 4 ++++ 1 file changed, 4 insertions(+) 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: