diff options
author | Ben McGinnes <[email protected]> | 2018-10-04 08:28:47 +0000 |
---|---|---|
committer | Ben McGinnes <[email protected]> | 2018-10-04 08:28:47 +0000 |
commit | 2cca422ca4b2df831a824393077d0b52d79532aa (patch) | |
tree | 66bb4178e86748b56337c2e664ae4bdd7f2dedb9 | |
parent | python: make file (diff) | |
download | gpgme-2cca422ca4b2df831a824393077d0b52d79532aa.tar.gz gpgme-2cca422ca4b2df831a824393077d0b52d79532aa.zip |
python: make file
* lang/python/Makefile.am: Attempting to remove the docs/meta
directory did a lot worse than I thought it was doing, so better to
just be sure the documentation is available than destroy the entire
bindings directory.
Tested-by: Ben McGinnes <[email protected]>
Signed-off-by: Ben McGinnes <[email protected]>
-rw-r--r-- | lang/python/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lang/python/Makefile.am b/lang/python/Makefile.am index 9cdccb5a..86453054 100644 --- a/lang/python/Makefile.am +++ b/lang/python/Makefile.am @@ -27,7 +27,6 @@ EXTRA_DIST = \ dist-hook: cp -pr "$(srcdir)/docs" "$(DESTDIR)/docs" - rm -rf `find "$(srcdir)/docs" -name meta` SUBDIRS = . tests |