[Pkg-ocaml-maint-commits] [dose3] 03/08: Merge tag 'upstream/4.0.1'

[Johannes Schauer]

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

josch pushed a commit to branch master
in repository dose3.

commit 0ae8461ed5bf0e851e9657355326d74104fa2784
Merge: e4665d4 6cc7dfc
Author: Johannes Schauer <josch at debian.org>
Date:   Tue Sep 1 07:38:14 2015 +0200

    Merge tag 'upstream/4.0.1'
    
    Upstream version 4.0.1

 META.in                                     |  28 +-
 Makefile                                    |   2 +-
 Makefile.config.in                          |   2 +-
 _tags.in                                    |   4 +-
 configure                                   |  32 ++-
 configure.ac                                |   2 +-
 doc/webpages/IkiWiki/Plugin/bibtex.pm       | 321 ---------------------
 doc/webpages/IkiWiki/Plugin/bootmenu.pm     | 118 --------
 doc/webpages/Makefile                       |  29 --
 doc/webpages/README                         | 101 -------
 doc/webpages/extract-manpages.py            |  40 ---
 doc/webpages/extract-ocamldoc.py            |  26 --
 doc/webpages/extract-primer.py              |  23 --
 doc/webpages/local.setup                    | 417 ----------------------------
 doc/webpages/src/biblio.bib                 |  29 --
 doc/webpages/src/contacts.mdwn              |  17 --
 doc/webpages/src/css/bootstrap.min.css      |   7 -
 doc/webpages/src/css/styles.css             | 113 --------
 doc/webpages/src/devel.mdwn                 |   9 -
 doc/webpages/src/documentation.mdwn         |   0
 doc/webpages/src/download.mdwn              |  31 ---
 doc/webpages/src/faq.mdwn                   |  23 --
 doc/webpages/src/index.mdwn                 |   6 -
 doc/webpages/src/install.mdwn               |  79 ------
 doc/webpages/src/js/bootstrap.min.js        |   6 -
 doc/webpages/src/js/jquery-2.1.3.min.js     |   4 -
 doc/webpages/src/js/npm.js                  |  13 -
 doc/webpages/src/js/scripts.js              |  31 ---
 doc/webpages/src/man.mdwn                   |  38 ---
 doc/webpages/src/quickstart.mdwn            | 147 ----------
 doc/webpages/src/related.mdwn               |  39 ---
 doc/webpages/src/tutorials.mdwn             |  22 --
 doc/webpages/src/tutorials/cudf.mdwn        |  86 ------
 doc/webpages/src/tutorials/interpreter.mdwn |  45 ---
 doc/webpages/src/tutorials/python.mdwn      |  17 --
 doc/webpages/src/tutorials/shell.mdwn       |   9 -
 doc/webpages/templates/bibentry.tmpl        |   9 -
 doc/webpages/templates/bibfile.tmpl         |  42 ---
 doc/webpages/templates/homepage.tmpl        |  97 -------
 doc/webpages/templates/page.tmpl            |  74 -----
 dose3.odocl.in                              |   6 +-
 doseparse/stdOptions.ml                     |   3 +-
 42 files changed, 54 insertions(+), 2093 deletions(-)

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