[git] GPGME - branch, master, updated. gpgme-1.12.0-127-g2de1e59

[by Ben McGinnes]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GnuPG Made Easy".

The branch, master has been updated
       via  2de1e599770cdb129b84302d963f65fdd3ddd2a4 (commit)
      from  1e265723653042bc1010b457537b69a2011b43b7 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 2de1e599770cdb129b84302d963f65fdd3ddd2a4
Author: Ben McGinnes <ben at adversary.org>
Date:   Sun Jan 27 16:02:24 2019 +1100

    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.

diff --git a/lang/python/examples/howto/post_installer.py b/lang/python/examples/howto/post_installer.py
index b9fd36f..b493f97 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:
 

-----------------------------------------------------------------------

Summary of changes:
 lang/python/examples/howto/post_installer.py | 4 ++++
 1 file changed, 4 insertions(+)


hooks/post-receive
-- 
GnuPG Made Easy
http://git.gnupg.org