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.
This commit is contained in:
Ben McGinnes 2019-01-27 16:02:24 +11:00
parent 1e26572365
commit 2de1e59977

View File

@ -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: