[Pkg-ocaml-maint-commits] [cmdliner] 06/11: Merge tag 'upstream/0.9.7'

[Stéphane Glondu]

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository cmdliner.

commit cc93233256c66f190bc2590ab67f104687952667
Merge: 5d676f6 f035d5a
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Jun 27 19:45:10 2015 +0200

    Merge tag 'upstream/0.9.7'
    
    Upstream version 0.9.7

 .ocp-indent                 |    1 +
 CHANGES.md                  |   47 +-
 README.md                   |    2 +-
 doc/Cmdliner.Arg.html       |  126 +++--
 doc/Cmdliner.Manpage.html   |    8 +-
 doc/Cmdliner.Term.html      |   68 ++-
 doc/Cmdliner.html           |  318 +++++------
 doc/index_types.html        |    5 +
 doc/index_values.html       |   79 ++-
 doc/type_Cmdliner.Arg.html  |    3 +
 doc/type_Cmdliner.Term.html |   15 +-
 doc/type_Cmdliner.html      |   18 +-
 opam                        |   16 +-
 pkg/META                    |    2 +-
 pkg/build                   |   31 --
 pkg/build.ml                |   17 +
 pkg/config                  |    3 -
 pkg/config.ml               |   11 +
 pkg/git.ml                  |   14 +
 pkg/pkg-builder             |  108 ----
 pkg/pkg-git                 |   16 -
 pkg/pkg-varsubsts           |   24 -
 pkg/topkg-ext.ml            |  272 ++++++++++
 pkg/topkg.ml                |  303 +++++++++++
 src/cmdliner.ml             | 1242 ++++++++++++++++++++++++-------------------
 src/cmdliner.mli            |  602 +++++++++++----------
 test/chorus.ml              |   15 +-
 test/cp_ex.ml               |   42 +-
 test/darcs_ex.ml            |   94 ++--
 test/revolt.ml              |    2 +-
 test/rm_ex.ml               |   20 +-
 test/tail_ex.ml             |   44 +-
 32 files changed, 2161 insertions(+), 1407 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git