python: post installer script
authorBen McGinnes <ben@adversary.org>
Sun, 27 Jan 2019 05:02:24 +0000 (16:02 +1100)
committerBen McGinnes <ben@adversary.org>
Sun, 27 Jan 2019 05:02:24 +0000 (16:02 +1100)
* 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

index b9fd36f..b493f97 100755 (executable)
@@ -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: