diff options
| author | Ben McGinnes <[email protected]> | 2019-01-27 05:02:24 +0000 |
|---|---|---|
| committer | Ben McGinnes <[email protected]> | 2019-01-27 05:02:24 +0000 |
| commit | 2de1e599770cdb129b84302d963f65fdd3ddd2a4 (patch) | |
| tree | a052a60f8feabb9f09ffc9cb220c742852714176 /lang/python/examples/howto/post_installer.py | |
| parent | python: post installer docs fix script (diff) | |
| download | gpgme-2de1e599770cdb129b84302d963f65fdd3ddd2a4.tar.gz gpgme-2de1e599770cdb129b84302d963f65fdd3ddd2a4.zip | |
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.
Diffstat (limited to 'lang/python/examples/howto/post_installer.py')
| -rwxr-xr-x | lang/python/examples/howto/post_installer.py | 4 |
1 files changed, 4 insertions, 0 deletions
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: |